Publication:3770539

From MaRDI portal


zbMath0633.03066MaRDI QIDQ3770539

Daniele Mundici

Publication date: 1986



03G25: Other algebras related to logic

06D99: Distributive lattices


Related Items

Unnamed Item, Unnamed Item, Unnamed Item, A non-commutative generalization of MV-algebras, Companion d-algebras, The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview, Measure-free conditioning and extensions of additive measures on finite MV-algebras, Trends, probability functions and fuzzy right ideals for \(d\)-algebras, On fuzzy ideals in BCK/BCI-algebras, Quasivarieties and congruence permutability of Łukasiewicz implication algebras, A note on Bosbach's cone algebras, Falling \(d\)-ideals in \(d\)-algebras, Pseudo \(d\)-algebras, Decomposability of free Łukasiewicz implication algebras, On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras, Free Łukasiewicz implication algebras, Some kinds of \((\in, \in \vee q)\)-interval-valued fuzzy ideals of BCI-algebras, A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain, Complete and atomic algebras of the infinite valued Łukasiewicz logic, Fuzzy maximal ideals of BCI and MV algebras, On the structure of varieties with equationally definable principal congruences. III, Varieties of commutative residuated integral pomonoids and their residuation subreducts, Some fuzzy concepts of BCI, BCK and MV-algebras, Fuzzy ideals of BCI and MV-algebras, Fuzzy implicative and Boolean ideals of \(MV\)-algebras, On transitivity of strict preference relations, Logical connectives on lattice effect algebras, An investigation on algebraic structure of soft sets and soft filters over residuated lattices., Sharp and meager elements in orthocomplete homogeneous effect algebras, State BCK-algebras and state-morphism BCK-algebras., Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices, A basic algebra is an MV-algebra if and only if it is a BCC-algebra, MV-algebra for cultural rules, Boolean filters and positive implicative filters of residuated lattices, Fuzzy Boolean and positive implicative filters of BL-algebras, Right \(l\)-groups, geometric Garside groups, and solutions of the quantum Yang-Baxter equation, Constructions of quotient algebras via triangular norms, Subdirectly Irreducible MV-Algebras, Implicative hyper K-algebras