Spectra of weakly associative lattice rings
Weakly associative lattice rings
Lex-ideals of DR-monoids and GMV-algebras
Direct decompositions of dually residuated lattice-ordered monoids
The class of dually residuated lattice ordered monoids (DRl-monoids) contains, in an appropriate signature, all l-groups, Brouwerian algebras, MV- and GMV-algebras, BL- and pseudo BL-algebras, etc. In the paper we study direct products and decompositions of DRl-monoids in general and we characterize ideals of DRl-monoids which are direct factors. The results are then applicable to all above mentioned special classes of DRl-monoids.
Non-transitive generalizations of subdirect products of linearly ordered rings
Weakly associative lattice rings (wal-rings) are non-transitive generalizations of lattice ordered rings (l-rings). As is known, the class of l-rings which are subdirect products of linearly ordered rings (i.e. the class of f-rings) plays an important role in the theory of l-rings. In the paper, the classes of wal-rings representable as subdirect products of to-rings and ao-rings (both being non-transitive generalizations of the class of f-rings) are characterized and the class of wal-rings having...
Classes of filters in generalizations of commutative fuzzy structures
Bounded commutative residuated lattice ordered monoids (-monoids) are a common generalization of -algebras and Heyting algebras, i.e. algebras of basic fuzzy logic and intuitionistic logic, respectively. In the paper we develop the theory of filters of bounded commutative -monoids.
Approximation Spacesin Non-commutative Generalizations of -algebras
Generalized MV-algebras (= GMV-algebras) are non-commutative generalizations of MV-algebras. They are an algebraic counterpart of the non-commutative Łukasiewicz infinite valued fuzzy logic. The paper investigates approximation spaces in GMV-algebras based on their normal ideals.
Local bounded commutative residuated -monoids
Bounded commutative residuated lattice ordered monoids (-monoids) are a common generalization of, e.g., -algebras and Heyting algebras. In the paper, the properties of local and perfect bounded commutative -monoids are investigated.
Direct product factors in GMV-algebras
Modal operators on bounded commutative residuated -monoids
Classes of fuzzy filters of residuated lattice ordered monoids
The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. Bounded residuated lattice ordered monoids (monoids) are common generalizations of -algebras, i.e., algebras of the propositional basic fuzzy logic, and Heyting algebras, i.e., algebras of the propositional intuitionistic logic. From the point of view of uncertain information, sets of provable formulas in inference systems could be described by fuzzy filters of the corresponding...
Lexicographic extensions of dually residuated lattice ordered monoids
Dually residuated lattice ordered monoids (-monoids) are common generalizations of, e.g., lattice ordered groups, Brouwerian algebras and algebras of logics behind fuzzy reasonings (-algebras, -algebras) and their non-commutative variants (-algebras, pseudo -algebras). In the paper, lex-extensions and lex-ideals of -monoids (which need not be commutative or bounded) satisfying a certain natural condition are studied.
Modal operators on bounded residuated -monoids
Bounded residuated lattice ordered monoids (-monoids) form a class of algebras which contains the class of Heyting algebras, i.e. algebras of the propositional intuitionistic logic, as well as the classes of algebras of important propositional fuzzy logics such as pseudo -algebras (or, equivalently, -algebras) and pseudo -algebras (and so, particularly, -algebras and -algebras). Modal operators on Heyting algebras were studied by Macnab (1981), on -algebras were studied by Harlenderová and...
Page 1