2 papers
math.LO2018
Nelson's Logic S
Thiago Nascimento, Umberto Rivieccio, Joao Marcos +1
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.…
math.LO2018
Algebraic Semantics for Nelson's Logic S
Thiago Nascimento, Umberto Rivieccio, João Marcos +1
Besides the better-known Nelson's Logic and Paraconsistent Nelson's Logic, in "Negation and separation of concepts in constructive systems" (1959), David Nelson introduced a logic…