The semantics and proof theory of linear logic

Linear logic

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

Fiftieth volume of theoretical computer science

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

Computing, Computer Science, Mathematics +7

Investigations into Logical Deduction

Gerhard Gentzen · American Philosophical Quarterly · 1964 · 661 citations

Humanities, Philosophy, Knowledge Representation +10

The undecidability of entailment and relevant implication

Alasdair Urquhart · Journal of Symbolic Logic · 1984 · 154 citations

Humanities, Computer Science, Mathematics +8

Using typed lambda calculus to implement formal systems on a machine

Arnon Avron, Furio Honsell, Ian A. Mason et al. · Journal of Automated Reasoning · 1992 · 105 citations

Computing, Computer Science, Formal Methods +13