scientific article; zbMATH DE number 3604887
From MaRDI portal
Publication:4170718
Cited in
(14)- Twist structures and Nelson conuclei
- The subvariety of commutative residuated lattices represented by twist-products
- On some categories of involutive centered residuated lattices
- Tense operators on distributive lattices with implication
- Nelson algebras, residuated lattices and rough sets: A survey
- Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
- A family of genuine and non-algebraisable C-systems
- Categories of models of \(\mathbf{R}\)-mingle
- Representation of De Morgan and (semi-)Kleene lattices
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
- Kleene algebras with implication
- Belnap constants and Nelson logic
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
- Twist-valued models for three-valued paraconsistent set theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4170718)