Projectable -groups and algebras of logic: categorical and algebraic connections.
DOI10.1016/J.JPAA.2016.04.013zbMATH Open1345.06013OpenAlexW2347184063MaRDI QIDQ284973FDOQ284973
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
Recommendations
equivalences of categories[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel+GMV+algebras&go=Go G��del GMV algebras]generalized MV algebrasintegral GMV algebrasnegative cones of projectable \(l\)-groupsprojectable IGMV algebras
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)
Cites Work
- Some Structure Theorems for Lattice-Ordered Groups
- Title not available (Why is that?)
- Title not available (Why is that?)
- Residuated lattices. An algebraic glimpse at substructural logics
- 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
- Representation of the Projectable and Strongly Projectable Hulls of a Lattice-Ordered Group
- Groupable lattices
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lex-subgroups of lattice-ordered groups
- Equationally compact algebras (I)
- Title not available (Why is that?)
- The structure of a lattice-ordered group with a finite number of disjoint elements
- Ideals in universal algebras
- The Conrad program: from \(l\)-groups to algebras of logic.
Cited In (6)
- Weakening Relation Algebras and FL$$^2$$-algebras
- The Archimedean property: new horizons and perspectives
- Ordered groups with a conucleus
- Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras.
- Ordering groups and validity in lattice-ordered groups
- Conical logic and \(\ell\)-groups logic
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)
