2 citations · 6 across the 10 of their papers we have counts for
4 papers · 1 filter
Combining fragments of classical logic: When are interaction principles needed?
Carlos Caleiro, Sérgio Marcelino, João Marcos
We investigate the combination of fragments of classical logic as a way of conservatively extending a given Boolean logic by the addition of new connectives, and we precisely chara…
Semi-BCI Algebras
Regivan H. N. Santiago, Benjamin Bedregal, João Marcos +2
The notion of semi-BCI algebras is introduced and some of its properties are investigated. This algebra is another generalization for BCI-algebras. It arises from the "intervalizat…
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.…
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…