The subvariety of commutative residuated lattices represented by twist-products

DOI10.1007/S00012-014-0265-4MaRDI QIDQ2449445zbMATH OpenOpenAlexFDO

Authors Manuela Busaniche, Roberto Cignoli

Publication date 8 May 2014

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-014-0265-4

zbMATH Keywords

Glivenko residuated latticeinvolutionresiduated latticetwist-product

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25)

Review text

The authors study the subvariety \(K\) of integral commutative residuated lattices \(L\) that can be represented by twist-products, that is, the product \(L \times L\) can be endowed with the structure of a commutative residuated lattice with involution. They give an equational characterization of this subvariety and analyze the subvariety of representable algebras in \(K\). For the case of bounded integral commutative residuated lattices, the authors generalize a result by \textit{S. P. Odintsov} [J. Log. Comput. 13, No. 4, 453--468 (2003; Zbl 1034.03029); Stud. Log. 76, No. 3, 385--405 (2004; Zbl 1047.03050); Constructive negations and paraconsistency. Dordrecht: Springer (2008; Zbl 1161.03014)] for generalized Heyting algebras.

Recommendations

• Varieties of K-lattices
• Varieties of bounded K-lattices
• The subvariety lattice for representable idempotent commutative residuated lattices
• Minimal varieties of representable commutative residuated lattices
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES

Cites work

• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Adding involution to residuated structures
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Constructible falsity and inexact predicates
• Constructive logic with strong negation as a substructural logic
• Constructive negations and paraconsistency
• Free algebras in varieties of BL-algebras with a Boolean retract.
• Glivenko like theorems in natural expansions of BCK-logic
• scientific article; zbMATH DE number 3604887 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• Lattices With Involution
• Minimal varieties of involutive residuated lattices
• Nelson algebras through Heyting ones. I
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On extensions of intermediate logics by strong negation
• On some categories of involutive centered residuated lattices
• On the representation of \(\mathbf{N4}\)-lattices
• Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic
• Residuated lattices. An algebraic glimpse at substructural logics
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• THE STRUCTURE OF RESIDUATED LATTICES

Cited in

(13)

• Products of classes of residuated structures
• Poset products as relational models
• Twist structures and Nelson conuclei
• Existentially closed de Morgan algebras
• Compatibly involutive residuated lattices and the Nelson identity
• Residuation in twist products and pseudo-Kleene posets
• Varieties of K-lattices
• Varieties of bounded K-lattices
• Fragments of quasi-Nelson: residuation
• Nelson algebras, residuated lattices and rough sets: A survey
• Nelson conuclei and nuclei: the twist construction beyond involutivity
• Representability of Kleene posets and Kleene lattices
• Paraconsistent relations as a variant of Kleene algebras

This page was built for publication: The subvariety of commutative residuated lattices represented by twist-products

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