An epistemic approach to paraconsistency: a logic of evidence and truth

Stanford encyclopedia of philosophy

Choice Reviews Online · 1998 · 3.4K citations

Humanities, Philosophy, Continental Philosophy +7

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

Investigations into Logical Deduction

Gerhard Gentzen · American Philosophical Quarterly · 1964 · 661 citations

Humanities, Philosophy, Knowledge Representation +10

On the interpretation of intuitionistic number theory

S. C. Kleene · Journal of Symbolic Logic · 1945 · 540 citations

Humanities, Mathematics, Philosophy +8

Constructible falsity

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

Humanities, Mathematics, Philosophy +7