Lattice-theoretic properties of algebras of logic

DOI10.1016/j.jpaa.2014.02.015zbMath1323.03096MaRDI QIDQ2448299

Constantine Tsinakis, Francesco Paoli, Antonio Ledda

Publication date: 30 April 2014

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2014.02.015

zbMATH Keywords

residuated lattices; Gödel algebras; projectable residuated lattices

Mathematics Subject Classification ID

03G10: Logical aspects of lattices and related structures

03G25: Other algebras related to logic

06D35: MV-algebras

06F05: Ordered semigroups and monoids

06F15: Ordered groups

Related Items

Congruence Boolean Lifting Property, Nilpotency and the Hamiltonian property for cancellative residuated lattices, Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections., The Archimedean property: new horizons and perspectives, Hulls of ordered algebras: projectability, strong projectability and lateral completeness, Orthocomplete pseudoMV-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Product Łukasiewicz logic
• Ideals in universal algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Commutative integral bounded residuated lattices with an added involution
• Projectable and strongly projectable lattice-ordered groups
• Equivalential logics. I
• Groupes et anneaux reticules
• Metamathematics of fuzzy logic
• Generalized MV-algebras
• Free algebras in varieties of BL-algebras with a Boolean retract.
• Handbook of philosophical logic. Vol. 5
• Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
• An algebraic approach to propositional fuzzy logic
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• THE STRUCTURE OF RESIDUATED LATTICES
• Quasi-subtractive varieties
• Lattice-Ordered Groups Whose Lattices Determine Their Additions
• Epi-archimedean groups
• Representation of the Projectable and Strongly Projectable Hulls of a Lattice-Ordered Group
• Groupable lattices
• A characterization of lattice-ordered groups by their convex L-subgroups
• Adding structure to MV-algebras