Negation and Implication in Quasi-Nelson Logic
From MaRDI portal
Publication:5059693
DOI10.21146/2074-1472-2021-27-1-107-123OpenAlexW3196497357MaRDI QIDQ5059693FDOQ5059693
Authors: Thiago Nascimento, Umberto Rivieccio 
Publication date: 16 January 2023
Published in: Logical Investigations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.21146/2074-1472-2021-27-1-107-123
Recommendations
algebraizable logicsquasi-Nelson algebrasquasi-Nelson logicNelson's constructive logic with strong negationimplication-negation subreductsQNI-algebra
Cites Work
- Constructible falsity
- Residuated lattices. An algebraic glimpse at substructural logics
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- Algebraizable logics
- Abstract algebraic logic. An introductory textbook
- On the structure of varieties with equationally definable principal congruences. III
- Fregean logics
- Caracterisation des algèbres de Nelson par des egalités, I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fragments of quasi-Nelson: two negations
- Representation of De Morgan and (semi-)Kleene lattices
- Quasi-Nelson algebras
- Algebraic semantics for quasi-Nelson logic
- Quasi-Nelson; or, non-involutive Nelson algebras
- Title not available (Why is that?)
Cited In (8)
- Constructive negation, implication, and co-implication
- Intuitionistic modal algebras
- Title not available (Why is that?)
- Fragments of quasi-Nelson: residuation
- Prelinearity in (quasi-)Nelson logic
- Title not available (Why is that?)
- Nelson algebras, residuated lattices and rough sets: A survey
- Algebraizability of the logic of quasi-N4-lattices
This page was built for publication: Negation and Implication in Quasi-Nelson Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5059693)
