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