Projectable -groups and algebras of logic: categorical and algebraic connections.

DOI10.1016/J.JPAA.2016.04.013MaRDI QIDQ284973zbMATH OpenOpenAlexFDO

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

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 algebrasintegral GMV algebrasnegative cones of projectable \(l\)-groupsprojectable IGMV algebrasGödel GMV algebras

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2172905
• Perfect GMV-Algebras
• scientific article; zbMATH DE number 1865920
• scientific article; zbMATH DE number 1665449
• scientific article; zbMATH DE number 2064079

Cites work

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

Cited in

(9)

• The Archimedean property: new horizons and perspectives
• Ordered groups with a conucleus
• Ordering groups and validity in lattice-ordered groups
• Weakening Relation Algebras and FL$$^2$$-algebras
• Lattice-theoretic properties of algebras of logic
• The Conrad program: from \(l\)-groups to algebras of logic.
• From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices
• Conical logic and \(\ell\)-groups logic
• Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras.

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q284973)