Existential instantiation and normalization in sequent natural deduction

Investigations into Logical Deduction

Gerhard Gentzen · American Philosophical Quarterly · 1964 · 661 citations

Humanities, Philosophy, Knowledge Representation +10

Jean-Yves Girard. Proof theory and logical complexity. Volume I. Studies in proof theory, no. 1. Bibliopolis, Naples 1987, also distributed by Humanities Press, Atlantic Highlands, N.J., 503 pp.

Helmut Pfeiffer · Journal of Symbolic Logic · 1989 · 317 citations

Computing, Computer Science, Formal Methods +9

Reasoning with Arbitrary Objects.

Marco D. Santambrogio, Kit Fine · Noûs · 1988 · 261 citations

Computing, Computer Science, Knowledge Representation +7

On sequence-conclusion natural deduction systems

Branislav Boričić · Journal of Philosophical Logic · 1985 · 46 citations

Computing, Computer Science, Computational Linguistics +11

THE PROVINCE OF LOGIC

William Kneale · Mind · 1957 · 42 citations

Humanities, Philosophy, Logic +8