Publication:3222191

From MaRDI portal


zbMath0557.03040MaRDI QIDQ3222191

Josep Maria Font, Antonio Jesús Rodríguez, Antoni Torrens Torrell

Publication date: 1984

Full work available at URL: https://eudml.org/doc/38902


03G10: Logical aspects of lattices and related structures

03B50: Many-valued logic

08B99: Varieties


Related Items

Some Results on MV-Modules, Some Properties of Residuated Lattices, Unnamed Item, Unnamed Item, (S,N)-Implications on Bounded Lattices, Companion d-algebras, The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview, Unnamed Item, An application of automated equational reasoning to many-valued logic, A preliminary study of MV-algebras with two quantifiers which commute, Varieties generated by unital abelian \(\ell\)-groups, Logics from \(\sqrt{\prime}\) quasi-MV algebras, The standard completeness of interval-valued monoidal t-norm based logic, A survey of fuzzy implication algebras and their axiomatization, On fuzzy implication in De Morgan algebras, MV-closures of Wajsberg hoops and applications, Measure-free conditioning and extensions of additive measures on finite MV-algebras, Trends, probability functions and fuzzy right ideals for \(d\)-algebras, Falling \(d\)-ideals in \(d\)-algebras, Non-commutative Łukasiewicz propositional logic, Pseudo \(d\)-algebras, Decomposability of free Łukasiewicz implication algebras, Truth values on generalizations of some commutative fuzzy structures, On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras, Boolean representation of bounded BCK-algebras, A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain, The pseudo-linear semantics of interval-valued fuzzy logics, Rules of inference in fuzzy sentential logic, Connections between \(\text{MV}_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. II, Algebraic structures in fuzzy logic, The Archimedean property: new horizons and perspectives, A topological duality for monadic MV-algebras, Double negation semantics for generalisations of Heyting algebras, Topological characterization of filter topological MV-algebras, Set of support, demodulation, paramodulation: a historical perspective, Wajsberg algebras arising from binary block codes, On a class of subsemigroup lattices, On solutions to the set-theoretical Yang-Baxter equation in Wajsberg-algebras, Some results in weak pseudo-quasi-Wajsberg algebras, A temporal semantics for nilpotent minimum logic, Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices, Extended filters in bounded commutative \(Rl\)-monoids, Monadic MV-algebras. II: Monadic implicational subreducts, Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops, Subdirectly Irreducible MV-Algebras, Unnamed Item, Unnamed Item