On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics

The logical basis of metaphysics

Choice Reviews Online · 1991 · 1.4K citations

Humanities, Philosophy, Analytic Philosophy +8

Meaning and proofs: on the conflict between classical and intuitionistic logic

Dag Prawitz · Theoria · 1977 · 245 citations

Humanities, Mathematics, Philosophy +10

A natural extension of natural deduction

Peter Schroeder‐Heister · Journal of Symbolic Logic · 1984 · 241 citations

Humanities, Computer Science, Mathematics +8

What is Logic?

Ian Hacking · The Journal of Philosophy · 1979 · 237 citations

Quantifiers vs. Quantification Theory

Jaakko Hintikka · dialectica · 1973 · 211 citations

Humanities, Philosophy, Logic +7