Quasi-Nelson algebras

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

zbMATH Keywords

semi-De Morgan algebraNelson logicNelson identitynon-involutive twist-structurequasi-Nelson algebraquasi-Nelson residuated lattice

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

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