The subvariety of commutative residuated lattices represented by twist-products
From MaRDI portal
Publication:2449445
DOI10.1007/s00012-014-0265-4zbMath1303.03092OpenAlexW2091158126MaRDI QIDQ2449445
Manuela Busaniche, Roberto L. O. 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
Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Twist structures and Nelson conuclei ⋮ Varieties of K-lattices ⋮ Varieties of bounded K-lattices ⋮ Fragments of quasi-Nelson: residuation ⋮ Existentially closed de Morgan algebras ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Poset products as relational models
Cites Work
- Unnamed Item
- Unnamed Item
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Nelson algebras through Heyting ones. I
- Residuated lattices. An algebraic glimpse at substructural logics
- Constructive negations and paraconsistency
- On some categories of involutive centered residuated lattices
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On extensions of intermediate logics by strong negation
- Adding involution to residuated structures
- Free algebras in varieties of BL-algebras with a Boolean retract.
- On the representation of \(\mathbf{N4}\)-lattices
- Minimal varieties of involutive residuated lattices
- THE STRUCTURE OF RESIDUATED LATTICES
- Constructive Logic with Strong Negation as a Substructural Logic
- Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
- Constructible falsity and inexact predicates
- Algebraic Semantics for Paraconsistent Nelson's Logic
- Glivenko like theorems in natural expansions of BCK-logic
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- Lattices With Involution
This page was built for publication: The subvariety of commutative residuated lattices represented by twist-products
