Proof theory of Nelson’s paraconsistent logic: A uniform perspective

On the theory of inconsistent formal systems.

Newton C. A. da Costa · Notre Dame Journal of Formal Logic · 1974 · 739 citations · Full text

Computing, Computer Science, Philosophy +6

Intuitive semantics for first-degree entailments and ?coupled trees?

J. Michael Dunn · Philosophical Studies · 1976 · 642 citations

Humanities, Mathematics, Logic +4

Logic programming and negation: A survey

Krzysztof R. Apt, Roland Bol · The Journal of Logic Programming · 1994 · 421 citations

Computing, Computer Science, Formal Methods +11

Constructible falsity

David Nelson · Journal of Symbolic Logic · 1949 · 418 citations

Humanities, Mathematics, Philosophy +7

Bilattices and the semantics of logic programming

Melvin Fitting · The Journal of Logic Programming · 1991 · 410 citations

Humanities, Computer Science, Logic +11