Ordered groups with a conucleus

DOI10.1016/J.JPAA.2007.01.019zbMath1185.06012OpenAlexW2012915371MaRDI QIDQ1035670

Constantine Tsinakis, Franco Montagna

Publication date: 4 November 2009

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.2007.01.019

zbMATH Keywords

lattice-ordered groupscancellative residuated lattices

Mathematics Subject Classification ID

MV-algebras (06D35) Ordered semigroups and monoids (06F05) Ordered groups (06F15) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Related Items (17)

Integrally closed residuated lattices ⋮ Proof theory for lattice-ordered groups ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Group representation for even and odd involutive commutative residuated chains ⋮ Hulls of ordered algebras: projectability, strong projectability and lateral completeness ⋮ From partially ordered monoids to partially ordered groups via free nuclear preimages ⋮ Minimal varieties of representable commutative residuated lattices ⋮ Obituary: Franco Montagna (1948--2015) ⋮ The Conrad program: from \(l\)-groups to algebras of logic. ⋮ Complemented MacNeille completions and algebras of fractions ⋮ Embedding theorems for classes of GBL-algebras ⋮ Nuclei and conuclei on residuated lattices ⋮ On a definition of a variety of monadic \(\ell\)-groups. ⋮ Conuclear images of substructural logics ⋮ Nilpotency and the Hamiltonian property for cancellative residuated lattices ⋮ From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices ⋮ A categorical equivalence for product algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonsymmetric \(^{\ast}\)-autonomous categories
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Metamathematics of fuzzy logic
• Generalized MV-algebras
• Standard completeness theorem for \(\Pi\)MTL
• Algebraic foundations of many-valued reasoning
• A complete many-valued logic with product-conjunction
• Minimal varieties of involutive residuated lattices
• Cancellative residuated lattices
• THE STRUCTURE OF RESIDUATED LATTICES
• On Weakly Cancellative Fuzzy Logics
• Pseudo MV-algebras are intervals in ℓ-groups

This page was built for publication: Ordered groups with a conucleus