activity
20102026
most citedAn Algebraic Study of Bilattice-based Logics

30 citations · 41 across the 14 of their papers we have counts for

collaborators
Showing 2018Show all

2 papers · 1 filter

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★ 1 cited

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…