Integrally closed residuated lattices

DOI10.1007/S11225-019-09888-9zbMATH Open1486.03114arXiv1902.08144OpenAlexW2989064129WikidataQ126795942 ScholiaQ126795942MaRDI QIDQ831226FDOQ831226

Authors: José Gil-Férez, Frederik Möllerström Lauridsen, George Metcalfe 

Publication date: 11 May 2021

Published in: Studia Logica (Search for Journal in Brave)

Abstract: A residuated lattice is defined to be integrally closed if it satisfies the equations xx = e and x/x = e. Every integral, cancellative, or divisible residuated lattice is integrally closed, and, conversely, every bounded integrally closed residuated lattice is integral. It is proved that the mapping a -> (ae)e on any integrally closed residuated lattice is a homomorphism onto a lattice-ordered group. A Glivenko-style property is then established for varieties of integrally closed residuated lattices with respect to varieties of lattice-ordered groups, showing in particular that integrally closed residuated lattices form the largest variety of residuated lattices admitting this property with respect to lattice-ordered groups. The Glivenko property is used to obtain a sequent calculus admitting cut-elimination for the variety of integrally closed residuated lattices and to establish the decidability, indeed PSPACE-completenes, of its equational theory. Finally, these results are related to previous work on (pseudo) BCI-algebras, semi-integral residuated partially ordered monoids, and algebras for Casari's comparative logic.

Full work available at URL: https://arxiv.org/abs/1902.08144

Recommendations

• Cancellative residuated lattices
• THE STRUCTURE OF RESIDUATED LATTICES
• Join-semilattices whose sections are residuated PO-monoids
• Residuated lattices. An algebraic glimpse at substructural logics
• Interior and closure operators on bounded residuated lattices

zbMATH Keywords

proof theoryresiduated latticelattice-ordered groupBCI-algebracomparative logicGlivenko propertysemi-integral residuated pomonoid

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Ordered groups (06F15) BCK-algebras, BCI-algebras (06F35) Logical aspects of lattices and related structures (03G10)

Cites Work

• Relationships between nondeterministic and deterministic tape complexities
• Title not available (Why is that?)
• Lattices and ordered algebraic structures
• Title not available (Why is that?)
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Residuated frames with applications to decidability
• Residuated lattices. An algebraic glimpse at substructural logics
• Generalized MV-algebras
• Cancellative residuated lattices
• THE STRUCTURE OF RESIDUATED LATTICES
• Title not available (Why is that?)
• Ordered groups with a conucleus
• Proof theory for lattice-ordered groups
• Proof Theory for Casari's Comparative Logics
• Title not available (Why is that?)
• An algebra related with a propositional calculus
• Title not available (Why is that?)
• On the finite embeddability property for residuated ordered groupoids
• Title not available (Why is that?)
• Glivenko theorems for substructural logics over FL
• Title not available (Why is that?)
• Disjunction property and complexity of substructural logics
• Residuation in commutative ordered monoids with minimal zero
• Ordered groups and topology
• The Word Problem for Lattice-Order Groups
• Some properties of pseudo-BCK- and pseudo-BCI-algebras
• A note on monothetic BCI
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Comparative logics

Cited In (5)

• Quasicomplemented residuated lattices
• Title not available (Why is that?)
• Rickart residuated lattices
• From partially ordered monoids to partially ordered groups via free nuclear preimages
• Lattice-theoretic properties of algebras of logic

This page was built for publication: Integrally closed residuated lattices

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