Negation and Implication in Quasi-Nelson Logic

DOI10.21146/2074-1472-2021-27-1-107-123MaRDI QIDQ5059693zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

algebraizable logicsquasi-Nelson algebrasquasi-Nelson logicNelson's constructive logic with strong negationimplication-negation subreductsQNI-algebra

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Fragments of quasi-Nelson: the algebraizable core
• Fragments of quasi-Nelson: two negations
• Algebraic semantics for quasi-Nelson logic
• Quasi-Nelson algebras
• Quasi-Nelson; or, non-involutive Nelson algebras

Cites work

• scientific article; zbMATH DE number 120346 (Why is no real title available?)
• scientific article; zbMATH DE number 3595146 (Why is no real title available?)
• scientific article; zbMATH DE number 3199780 (Why is no real title available?)
• Abstract algebraic logic. An introductory textbook
• Algebraic semantics for quasi-Nelson logic
• Algebraizable logics
• Caracterisation des algèbres de Nelson par des egalités, I
• Constructible falsity
• Fragments of quasi-Nelson: two negations
• Fregean logics
• On the structure of varieties with equationally definable principal congruences. III
• Quasi-Nelson algebras
• Quasi-Nelson; or, non-involutive Nelson algebras
• Representation of De Morgan and (semi-)Kleene lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras

Cited in

(8)

• Constructive negation, implication, and co-implication
• Intuitionistic modal algebras
• scientific article; zbMATH DE number 3958694 (Why is no real title available?)
• Fragments of quasi-Nelson: residuation
• Prelinearity in (quasi-)Nelson logic
• scientific article; zbMATH DE number 7325813 (Why is no real title available?)
• 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)