Quasi-Nelson algebras
From MaRDI portal
Publication:2333675
DOI10.1016/j.entcs.2019.07.011zbMath1434.03148OpenAlexW2969981807WikidataQ113317453 ScholiaQ113317453MaRDI QIDQ2333675
Umberto Rivieccio, Matthew Spinks
Publication date: 13 November 2019
Full work available at URL: https://doi.org/10.1016/j.entcs.2019.07.011
semi-De Morgan algebraNelson logicNelson identitynon-involutive twist-structurequasi-Nelson algebraquasi-Nelson residuated lattice
Related Items (6)
Negation and Implication in Quasi-Nelson Logic ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ A duality for two-sorted lattices ⋮ Prelinearity in (quasi-)Nelson logic ⋮ Fragments of quasi-Nelson: residuation ⋮ Quasi-Nelson algebras and fragments
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Nelson algebras through Heyting ones. I
- Residuated lattices. An algebraic glimpse at substructural logics
- Constructive logic with strong negation is a substructural logic. I
- Some investigations of varieties of \({\mathcal N}\)-lattices
- An algebraic approach to non-classical logics
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Multi-type display calculus for semi De Morgan logic
- Bitopology and four-valued logic
- Algebraic semantics for Nelson's logic \(\mathcal{S}\)
- On the representation of \(\mathbf{N4}\)-lattices
- Compatibly involutive residuated lattices and the Nelson identity
- The logic of distributive bilattices
- Semi-de Morgan algebras
- Algebraizable logics
- Algebraic Semantics for Paraconsistent Nelson's Logic
- Constructible falsity
This page was built for publication: Quasi-Nelson algebras