A Disquotational Theory of Truth as Strong as Z 2 − $Z_{2}^{-}$

Outline of a Theory of Truth

Saul A. Kripke · The Journal of Philosophy · 1975 · 1.6K citations

Humanities, Philosophy, Epistemology +9

New Foundations for Mathematical Logic

W. V. Quine · American Mathematical Monthly · 1937 · 358 citations

Humanities, Mathematics, Logic +6

On Some Difficulties in the Theory of Transfinite Numbers and Order Types

B. Russell · Proceedings of the London Mathematical Society · 1907 · 299 citations

Natural Sciences, Mathematics, Number Theory +6

Reflecting on incompleteness

Solomon Feferman · Journal of Symbolic Logic · 1991 · 281 citations

Natural Sciences, Mathematics, Formal Methods +6

Notes on naive semantics

Hans G. Herzberger · Journal of Philosophical Logic · 1982 · 229 citations

Language Studies, Computer Science, Semantics +3