Super-Łukasiewicz propositional logics
From MaRDI portal
Publication:3939781
DOI10.1017/S0027763000019577zbMath0482.03007OpenAlexW1535347767MaRDI QIDQ3939781
Publication date: 1981
Published in: Nagoya Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0027763000019577
Related Items
Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras ⋮ On Vaught’s Conjecture and finitely valued MV algebras ⋮ Logics without the contraction rule ⋮ Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ On n ‐contractive fuzzy logics ⋮ Lattice of subalgebras in the finitely generated varieties of MV-algebras ⋮ On finite-valued propositional logical calculi ⋮ On the geometric theory of local MV-algebras ⋮ On pseudo-BL-algebras and pseudo-hoops with normal maximal filters ⋮ More covers of the Boolean variety of unital \(\ell \)-groups ⋮ An algebraic characterization of o-minimal and weakly o-minimal MV-chains ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ Cyclic Elements in MV‐Algebras and Post Algebras ⋮ Multipotent GBL-algebras ⋮ Varieties generated by unital abelian \(\ell\)-groups ⋮ Varieties of bounded K-lattices ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Least \(V\)-quasivarieties of MV-algebras ⋮ Transfer theorems for finitely subdirectly irreducible algebras ⋮ Conservative expansions of substructural logics ⋮ Equational characterization of all varieties of MV-algebras ⋮ On some extensions of the class of MV-algebras ⋮ Monadic MV-algebras. I: A study of subvarieties ⋮ Kites and pseudo BL-algebras. ⋮ One chain generated varieties of MV-algebras ⋮ The subvariety lattice for representable idempotent commutative residuated lattices ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Complete and atomic algebras of the infinite valued Łukasiewicz logic ⋮ On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II. ⋮ Pseudo MV-algebras and lexicographic product ⋮ Representation of perfect and local MV-algebras ⋮ Natural dualities for varieties of MV-algebras. I ⋮ On some subvarieties of \(IMTn\)-algebras and the partitions of the \(m\)-cube. ⋮ Decidable and undecidable prime theories in infinite-valued logic ⋮ Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Free products of unital \(\ell \)-groups and free products of generalized MV-algebras ⋮ Continuum many top varieties of GMV-algebras and unital \(\ell \)-groups ⋮ Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups ⋮ Fuzzy logics from substructural perspective ⋮ Solvable covers of the Boolean variety of unital \(\ell \)-groups ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ Generic substitutions ⋮ A variety containing EMV-algebras and Pierce sheaves of EMV-algebras ⋮ Abelian \(\ell\)-groups with strong unit and perfect MV-algebras ⋮ The Priestley duality for Wajsberg algebras ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ Structural completeness in many-valued logics with rational constants ⋮ On EMV-algebras ⋮ Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops ⋮ Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics ⋮ Geometrical methods in Wajsberg hoops ⋮ Wajsberg algebras and Post algebras ⋮ Varieties of BL-algebras
Cites Work
