Fragments of quasi-Nelson: two negations

MaRDI QIDQ5869701FDOQ5869701

Umberto Rivieccio

Publication date: 28 September 2022

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (10)

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

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)