Negation and Implication in Quasi-Nelson Logic

DOI10.21146/2074-1472-2021-27-1-107-123OpenAlexW3196497357MaRDI QIDQ5059693

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)

Related Items (2)

Prelinearity in (quasi-)Nelson logic ⋮ Fragments of quasi-Nelson: residuation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fregean logics
• Residuated lattices. An algebraic glimpse at substructural logics
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• On the structure of varieties with equationally definable principal congruences. III
• Representation of De Morgan and (semi-)Kleene lattices
• Algebraic semantics for quasi-Nelson logic
• Quasi-Nelson algebras
• Quasi-Nelson; or, non-involutive Nelson algebras
• Algebraizable logics
• Caracterisation des algèbres de Nelson par des egalités, I
• Constructible falsity

This page was built for publication: Negation and Implication in Quasi-Nelson Logic