The Archimedean property: new horizons and perspectives
DOI10.1007/s00012-018-0573-1OpenAlexW2900675801WikidataQ128815623 ScholiaQ128815623MaRDI QIDQ1630814
Antonio Ledda, Francesco Paoli, Constantine Tsinakis
Publication date: 5 December 2018
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-018-0573-1
lattice-ordered groupsubstructural logicresiduated latticeArchimedean propertygeneralized MV-algebrageneralized BL-algebraConrad's program
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 (1)
Uses Software
Cites Work
- Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections.
- Varieties generated by unital abelian \(\ell\)-groups
- Multipotent GBL-algebras
- Archimedean lattices
- On the structure of semi-groups on a compact manifold with boundary
- The structure of a lattice-ordered group with a finite number of disjoint elements
- Residuated lattices. An algebraic glimpse at substructural logics
- The Conrad program: from \(l\)-groups to algebras of logic.
- Aglianò-Montagna type decomposition of linear pseudo hoops and its applications
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Substructural logics: a primer
- Generalized MV-algebras
- Products of classes of residuated structures
- Varieties of BL-algebras. I: General properties.
- Algebraic foundations of many-valued reasoning
- 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
- Hyper-Archimedean BL-algebras are MV-algebras
- Generalizations of pseudo MV-algebras and generalized pseudo effect algebras
- The Largest Proper Variety of Lattice Ordered Groups
- Pseudo MV-algebras are intervals in ℓ-groups
- Lex-subgroups of lattice-ordered groups
- Non-Commutative Residuated Lattices
- 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
This page was built for publication: The Archimedean property: new horizons and perspectives