Fragments of quasi-Nelson: two negations

MaRDI QIDQ5869701zbMATH OpenFDO

Authors Umberto Rivieccio

Publication date 28 September 2022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Quasi-Nelson; or, non-involutive Nelson algebras
• Quasi-Nelson algebras
• Fragments of quasi-Nelson: the algebraizable core
• Prelinearity in (quasi-)Nelson logic
• Characterisations of Nelson algebras

Cited in

(15)

• Quasi-Nelson; or, non-involutive Nelson algebras
• Characterisations of Nelson algebras
• Nelson algebras, residuated lattices and rough sets: A survey
• Fragments of quasi-Nelson: the algebraizable core
• Quasi-Nelson algebras and fragments
• A duality for two-sorted lattices
• Constructive logic with strong negation is a substructural logic. II
• Nelson conuclei and nuclei: the twist construction beyond involutivity
• Fragments of quasi-Nelson: residuation
• Prelinearity in (quasi-)Nelson logic
• Two axiomatizations of Nelson algebras.
• Compatibly involutive residuated lattices and the Nelson identity
• Algebraizability of the logic of quasi-N4-lattices
• Intuitionistic modal algebras
• Negation and Implication in Quasi-Nelson Logic

This page was built for publication: Fragments of quasi-Nelson: two negations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5869701)