Nelson conuclei and nuclei: the twist construction beyond involutivity
From MaRDI portal
Publication:6636379
DOI10.1007/S11225-023-10088-9MaRDI QIDQ6636379
Manuela Busaniche, Umberto Rivieccio
Publication date: 12 November 2024
Published in: Studia Logica (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Residuated lattices. An algebraic glimpse at substructural logics
- Constructive logic with strong negation is a substructural logic. I
- An algebraic approach to non-classical logics
- Bitopology and four-valued logic
- On the representation of \(\mathbf{N4}\)-lattices
- Representation of De Morgan and (semi-)Kleene lattices
- Twist structures and Nelson conuclei
- Compatibly involutive residuated lattices and the Nelson identity
- Quasi-Nelson algebras
- The subvariety of commutative residuated lattices represented by twist-products
- Quasi-Nelson; or, non-involutive Nelson algebras
- Non-involutive twist-structures
- A finite model property for RMImin
- Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
- Algebraic Semantics for Paraconsistent Nelson's Logic
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Quasi-Nelson algebras and fragments
- Fragments of Quasi-Nelson: The Algebraizable Core
- Fragments of quasi-Nelson: residuation
- Intuitionistic modal algebras
This page was built for publication: Nelson conuclei and nuclei: the twist construction beyond involutivity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6636379)
