Algebraic semantics for Nelson's logic S

DOI10.1007/978-3-662-57669-4_16MaRDI QIDQ1799291zbMATH OpenOpenAlexFDO

Authors Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks

Publication date 18 October 2018

Full work available at URL https://arxiv.org/abs/1803.10847

zbMATH Keywords

algebraic logicalgebraic semanticsinvolutive residuated latticesNelson's logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10)

Recommendations

• Nelson's logic \(\mathcal{S}\)
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Semi-intuitionistic logic with strong negation
• Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic
• Characterisations of Nelson algebras

Cited in

(14)

• Semi-intuitionistic logic with strong negation
• Representation of De Morgan and (semi-)Kleene lattices
• Algebraic semantics for quasi-Nelson logic
• Compatibly involutive residuated lattices and the Nelson identity
• Quasi-Nelson algebras
• An algebra and a logic for \(NC^ 1\)
• Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic
• scientific article; zbMATH DE number 1303459 (Why is no real title available?)
• Algebraic Semantics for Paraconsistent Nelson's Logic
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• Nelson's logic \(\mathcal{S}\)
• IMPROVING STRONG NEGATION
• Algebraic Semantics for Nelson's Logic S
• Nelson algebras, residuated lattices and rough sets: A survey

This page was built for publication: Algebraic semantics for Nelson's logic \(\mathcal{S}\)

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