Nelson's logic S

DOI10.1093/JIGPAL/JZAA015MaRDI QIDQ5022331zbMATH OpenOpenAlexFDO

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

Publication date 18 January 2022

Published in Logic Journal of the IGPL (Search for Journal in Brave)

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

zbMATH Keywords

algebraic logicconstructive logicsNelson's logicsstrong negation: paraconsistent Nelson logicsubstructural logicsthree-potent residuated lattices

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25)

Abstract: Besides the better-known Nelson logic (N3) and paraconsistent logic (N4), in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called S. The logic S was originally presented by means of a calculus (crucially lacking the contraction rule) with infinitely many rule schemata and no semantics (other than the intended interpretation into Arithmetic.) We look here at the propositional fragment of S, showing that it is algebraizable (in fact, implicative), in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive residuated lattices. We thus introduce the first known algebraic semantics for S as well as a finite Hilbert-style calculus equivalent to Nelson's presentation; this also allows us to clarify the relation between S and the other two Nelson logics N3 and N4.

Recommendations

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

Cited in

(4)

• Algebraic semantics for Nelson's logic \(\mathcal{S}\)
• Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic
• IMPROVING STRONG NEGATION
• Nelson algebras, residuated lattices and rough sets: A survey

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

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