Hulls of ordered algebras: projectability, strong projectability and lateral completeness

DOI10.1016/j.jalgebra.2017.04.005zbMath1423.06052OpenAlexW2605936447MaRDI QIDQ2397563

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

Publication date: 22 May 2017

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgebra.2017.04.005

zbMATH Keywords

MV-algebrasalgebraic logiclattices of varietiesordered groupssubstructural logicslattices and related structuresordered semigroups and monoids

Mathematics Subject Classification ID

Lattices of varieties (08B15) 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)

Related Items (4)

Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. ⋮ The Archimedean property: new horizons and perspectives ⋮ Ordering groups and validity in lattice-ordered groups ⋮ Nilpotency and the Hamiltonian property for cancellative residuated lattices

Cites Work

• The structure of a lattice-ordered group with a finite number of disjoint elements
• Order completions of Archimedean Riesz spaces and \(\ell\)-groups
• Residuated lattices. An algebraic glimpse at substructural logics
• The Conrad program: from \(l\)-groups to algebras of logic.
• Ordered groups with a conucleus
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• The lateral completion of an arbitrary lattice-ordered group (Bernau's proof revisited)
• Order completeness and disjoint completeness of linear partially ordered spaces
• Representable biresiduated lattices
• Substructural logics: a primer
• Generalized MV-algebras
• Products of classes of residuated structures
• Lattice-theoretic properties of algebras of logic
• Cancellative residuated lattices
• \(\bigstar\)-autonomous lattices and fuzzy sets
• THE STRUCTURE OF RESIDUATED LATTICES
• Some Structure Theorems for Lattice-Ordered Groups
• The Generalized Orthocompletion and Strongly Projectable Hull of a Lattice Ordered Group
• The SP-hull of a Lattice-Ordered Group
• Lateral completion for arbitrary lattice groups
• Pseudo MV-algebras are intervals in ℓ-groups
• Representable dually residuated lattice-ordered monoids
• The hulls of representablel-groups andf-rings
• The Hahn Embedding Theorem for Abelian Lattice-Ordered Groups
• Unique Representation of Archimedean Lattice Groups and Normal Archimedean Lattice Rings
• Lex-subgroups of lattice-ordered groups
• The Lateral Completion of a Lattice-Ordered Group
• A General Theory of Spectra
• Free lattice-ordered groups
• States on pseudo MV-algebras
• 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
• Unnamed Item
• Unnamed Item

This page was built for publication: Hulls of ordered algebras: projectability, strong projectability and lateral completeness