Nelson’s logic 𝒮

DOI10.1093/JIGPAL/JZAA015zbMATH Open1478.03044arXiv1803.10851OpenAlexW3023237937MaRDI QIDQ5022331FDOQ5022331

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

Publication date: 18 January 2022

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

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.

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

zbMATH Keywords

substructural logics algebraic logic constructive logics Nelson's logics strong negation: paraconsistent Nelson logic three-potent residuated lattices

Mathematics Subject Classification ID

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

Cited In (2)

This page was built for publication: Nelson’s logic 𝒮

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