Focusing and polarization in linear, intuitionistic, and classical logics

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

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

Uniform proofs as a foundation for logic programming

Dale Miller, Gopalan Nadathur, Frank Pfenning et al. · Annals of Pure and Applied Logic · 1991 · 576 citations

Computing, Computer Science, Logic +16