On monadic MV-algebras
From MaRDI portal
Publication:1877093
DOI10.1016/j.apal.2003.11.031zbMath1052.06010OpenAlexW1977445231MaRDI QIDQ1877093
Revaz Grigolia, Antonio Di Nola
Publication date: 16 August 2004
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.031
Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Congruence modularity, congruence distributivity (08B10) MV-algebras (06D35)
Related Items
Characterization of monadic BL-algebras by state operators, A preliminary study of MV-algebras with two quantifiers which commute, Monadic \(k\times j\)-rough Heyting algebras, Monadic classes of quantum B-algebras, The logic Ł•, Varying interpolation and amalgamation in polyadic MV-algebras, Unnamed Item, On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices, Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic, Monadic bounded residuated lattices, A topological duality for monadic MV-algebras, Dynamic Łukasiewicz logic and dynamic MV-algebras, Interval MV-algebras and generalizations., Monadic MV-algebras. I: A study of subvarieties, Monadic MV-algebras. II: Monadic implicational subreducts, Monadic GMV-algebras, Monadic bounded commutative residuated \(\ell\)-monoids, Operators on Pavelka's algebras induced by fuzzy relations, Demiquantifiers on \(\ell \)-groups, Multimodal epistemic Łukasiewicz logics with application in immune system, Similarity monadic basic logic, Topological spaces of monadic MV-algebras, Unnamed Item, On a definition of a variety of monadic \(\ell\)-groups., Finite axiomatizability in Łukasiewicz logic, Completeness for monadic fuzzy logics via functional algebras, Monadic bounded hoops, Monadic pseudo BE-algebras, An algebraic study of S5-modal Gödel logic, On some classes of state-morphism MV-algebras, Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit, Monadic pseudo-equality algebras, Unnamed Item, Dynamic Łukasiewicz logic and its application to immune system, Quantifiers on L-algebras, An algebraic study of the logic \textbf{S5'(BL)}, Quantum B-algebras with involutions, Representations of monadic MV-algebras
Cites Work
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Finitely generated free MV-algebras and their automorphism groups
- Algebraic Analysis of Many Valued Logics
- Finite Monadic Algebras
- Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
- Polyadic MV-Algebras
- Theorie der polyadischenMV-Algebren endlicher Ordnung
- Further results on infinite valued predicate logic
- A weak completeness theorem for infinite valued first-order logic
- A theorem about infinite-valued sentential logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
