Repository of University of Nova Gorica

Search the repository
A+ | A- | Help | SLO | ENG

Query: search in
search in
search in
search in
* old and bolonia study programme


1 - 3 / 3
First pagePrevious page1Next pageLast page
Quotient Structures of BCK/BCI-Algebras Induced by Quasi-Valuation Maps
Hashem Bordbar, Young Bae Jun, Seok Zun Song, 2018, original scientific article

Abstract: Relations between I-quasi-valuation maps and ideals in BCK/BCI -algebras are investigated. Using the notion of an I-quasi-valuation map of a BCK/BCI-algebra, the quasi-metric space is induced, and several properties are investigated. Relations between the I-quasi-valuation map and the I-valuation map are considered, and conditions for an I-quasi-valuation map to be an I-valuation map are provided. A congruence relation is introduced by using the I-valuation map, and then the quotient structures are established and related properties are investigated. Isomorphic quotient BCK/BCI-algebras are discussed.
Found in: ključnih besedah
Keywords: ideal, I-quasi-valuation map, I-valuation map, quasi-metric
Published: 01.12.2019; Views: 1992; Downloads: 0
.pdf Fulltext (261,47 KB)

Orderings and valuations in hyperfields
Hanna Stojałowska, Alessandro Linzi, Katarzyna Kuhlmann, 2022, original scientific article

Found in: ključnih besedah
Keywords: hyperfields, hyperring, ordering, valuation
Published: 28.09.2022; Views: 313; Downloads: 0
.pdf Fulltext (265,34 KB)
This document has many files! More...

Krasner hyperfields and the model theory of valued fields
Alessandro Linzi, unpublished conference contribution

Found in: ključnih besedah
Keywords: hyperfield, valued field, model theory, quantifier elimination, valuation, subhyperfield
Published: 10.10.2022; Views: 253; Downloads: 0
.pdf Fulltext (342,18 KB)
This document has many files! More...

Search done in 0 sec.
Back to top