Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections.

DOI10.1016/j.jpaa.2016.04.013zbMath1345.06013OpenAlexW2347184063MaRDI QIDQ284973

Francesco Paoli, Constantine Tsinakis, Antonio Ledda, José Gil-Férez

Publication date: 18 May 2016

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.2016.04.013

zbMATH Keywords

equivalences of categoriesgeneralized MV algebrasGödel GMV algebrasintegral GMV algebrasnegative cones of projectable \(l\)-groupsprojectable IGMV algebras

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) MV-algebras (06D35) Ordered semigroups and monoids (06F05) Ordered groups (06F15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Varieties of lattices (06B20)

Related Items (3)

The Archimedean property: new horizons and perspectives ⋮ Weakening Relation Algebras and FL$$^2$$-algebras ⋮ Ordering groups and validity in lattice-ordered groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The structure of a lattice-ordered group with a finite number of disjoint elements
• Ideals in universal algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• The Conrad program: from \(l\)-groups to algebras of logic.
• Residuation groupoids
• Projectable and strongly projectable lattice-ordered groups
• Retract mappings of projectable MV-algebras
• Generalized MV-algebras
• Concerning cone algebras
• From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices
• Hulls of ordered algebras: projectability, strong projectability and lateral completeness
• Lattice-theoretic properties of algebras of logic
• Cancellative residuated lattices
• THE STRUCTURE OF RESIDUATED LATTICES
• Some Structure Theorems for Lattice-Ordered Groups
• Representation of the Projectable and Strongly Projectable Hulls of a Lattice-Ordered Group
• Groupable lattices
• Lex-subgroups of lattice-ordered groups
• Equationally compact algebras (I)

This page was built for publication: Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections.