Kripke semantics and proof systems for combining intuitionistic logic and classical logic

Investigations into Logical Deduction

Gerhard Gentzen · American Philosophical Quarterly · 1964 · 661 citations

Humanities, Philosophy, Knowledge Representation +10

Logic Programming with Focusing Proofs in Linear Logic

Jean‐Marc Andreoli · Journal of Logic and Computation · 1992 · 652 citations

Computing, Computer Science, Formal Methods +13

A new constructive logic: classic logic

Jean-Yves Girard · Mathematical Structures in Computer Science · 1991 · 309 citations

Language Studies, Computer Science, Logic +6

Contraction-free sequent calculi for intuitionistic logic

Roy Dyckhoff · Journal of Symbolic Logic · 1992 · 281 citations

Computing, Computer Science, Mathematics +12

The Foundations of Mathematics.

Charles Parsons, Evert W. Beth · The Philosophical Review · 1961 · 228 citations

Natural Sciences, Mathematics, Applied Mathematics +5