4
Saul A. Kripke · The Journal of Philosophy · 1975 · 1.6K citations
On the idea of a general proof theory
Dag Prawitz · Synthese · 1974 · 182 citations
A proof-theoretic approach to entailment
Neil Tennant · Journal of Philosophical Logic · 1980 · 18 citations