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

DOI10.1016/J.JALGEBRA.2017.04.005MaRDI QIDQ2397563zbMATH OpenOpenAlexFDO

Authors 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

substructural logicsMV-algebrasalgebraic logiclattices of varietiesordered groupslattices and related structuresordered semigroups and monoids

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

Recommendations

• Sup-algebra completions and injective hulls of ordered algebras
• Injective hulls for ordered algebras
• scientific article; zbMATH DE number 7156095
• Injective hulls of many-sorted ordered algebras
• Lateral and Dedekind completions of strongly projectable lattice ordered groups
• Hulls for various kinds of \(\alpha\)-completeness in Archimedean lattice-ordered groups
• scientific article; zbMATH DE number 5295854
• Correction to: ``Injective hulls for ordered algebras
• Projectable and strongly projectable lattice-ordered groups
• Completeness of order algebras

Cites work

• scientific article; zbMATH DE number 192848 (Why is no real title available?)
• scientific article; zbMATH DE number 3515522 (Why is no real title available?)
• scientific article; zbMATH DE number 1344825 (Why is no real title available?)
• scientific article; zbMATH DE number 705155 (Why is no real title available?)
• scientific article; zbMATH DE number 1985549 (Why is no real title available?)
• scientific article; zbMATH DE number 2138212 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• scientific article; zbMATH DE number 3218933 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3297510 (Why is no real title available?)
• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• scientific article; zbMATH DE number 3062379 (Why is no real title available?)
• scientific article; zbMATH DE number 3085390 (Why is no real title available?)
• A General Theory of Spectra
• Cancellative residuated lattices
• Free lattice-ordered groups
• Generalized MV-algebras
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Lateral completion for arbitrary lattice groups
• Lattice-theoretic properties of algebras of logic
• Lex-subgroups of lattice-ordered groups
• Order completeness and disjoint completeness of linear partially ordered spaces
• Order completions of Archimedean Riesz spaces and -groups
• Ordered groups with a conucleus
• Products of classes of residuated structures
• Pseudo MV-algebras are intervals in ℓ-groups
• Representable biresiduated lattices
• Representable dually residuated lattice-ordered monoids
• Residuated lattices. An algebraic glimpse at substructural logics
• Residuated structures with involution
• Some Structure Theorems for Lattice-Ordered Groups
• States on pseudo MV-algebras
• Substructural logics: a primer
• THE STRUCTURE OF RESIDUATED LATTICES
• The SP-hull of a Lattice-Ordered Group
• The Conrad program: from \(l\)-groups to algebras of logic.
• The Generalized Orthocompletion and Strongly Projectable Hull of a Lattice Ordered Group
• The Hahn Embedding Theorem for Abelian Lattice-Ordered Groups
• The Lateral Completion of a Lattice-Ordered Group
• The hulls of representablel-groups andf-rings
• The lateral completion of an arbitrary lattice-ordered group (Bernau's proof revisited)
• The structure of a lattice-ordered group with a finite number of disjoint elements
• Unique Representation of Archimedean Lattice Groups and Normal Archimedean Lattice Rings
• \(\bigstar\)-autonomous lattices and fuzzy sets

Cited in

(5)

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

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

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