Self-referentiality of Brouwer–Heyting–Kolmogorov semantics

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4K citations

Logic, Methodology and Philosophy of Science.

Max Black, Ernest Nagel, Patrick Suppes et al. · The Philosophical Review · 1963 · 2K citations

Formal Logic, Automated Reasoning, Philosophy Of Logic +3

Fiftieth volume of theoretical computer science

Maurice Nivat · Theoretical Computer Science · 1988 · 1.3K citations

Engineering, Computational Model Theory, Computational Complexity +3

Some theorems about the sentential calculi of Lewis and Heyting

J. C. C. McKinsey, Alfred Tarski · Journal of Symbolic Logic · 1948 · 503 citations

Integral Geometry, Theoretical Mathematics, Monge-ampere Equation +9

Explicit Provability and Constructive Semantics

Sergei Artëmov · Bulletin of Symbolic Logic · 2001 · 447 citations

Engineering, Constructive Logic, Classical Logic +20