Keyword

sequent calculus

Description: A formal proof system in mathematical logic that represents inferences using sequents and rule-governed derivations.

Primary topic: Logic, programming, and type systems (40%)

Wikidata ID: wiki/Q1771121

OpenAlex ID: keywords/sequent-calculus

A Computing Procedure for Quantification Theory

1960 · Martin Davis, Hilary Putnam · Journal of the ACM · 2,654

PDF

First-Order Logic

1968 · Raymond M. Smullyan · Springer eBooks · 1,346

Natural Deduction: A Proof-Theoretical Study

1965 · Dag Prawitz · Medical Entomology and Zoology · 1,141

The Collected Papers of Gerhard Gentzen

1969 · Studies in logic and the foundations of mathematics · 1,029

Proof Theory

1975 · Gaisi Takeuti · 721

Proof Methods for Modal and Intuitionistic Logics

1983 · Melvin Fitting · Springer eBooks · 700

Logic Programming with Focusing Proofs in Linear Logic

1992 · JEAN-MARC ANDREOLI · Journal of Logic and Computation · 656

Structural Proof Theory

2001 · Sara Negri, Jan von Plato, et al. · Cambridge University Press eBooks · 561

λμ-Calculus: An algorithmic interpretation of classical natural deduction

2005 · Michel Parigot · Springer eBooks · 544

Die formalen Regeln der intuitionistischen Logik

1930 · A. Heyting · Verlag der Akademie der Wissenschaften eBooks · 460

Lectures on the Curry-Howard Isomorphism

2006 · Studies in logic and the foundations of mathematics · 365

Light Linear Logic

1998 · Jean-Yves Girard · Information and Computation · 325

PDF

Session Types as Intuitionistic Linear Propositions

2010 · Luís Caires, Frank Pfenning · Lecture notes in computer science · 319

PDF

Proof Analysis in Modal Logic

2005 · Sara Negri · Journal of Philosophical Logic · 314

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.

1989 · Helmut Pfeiffer · Journal of Symbolic Logic · 314

A sequent calculus for nominal logic

2004 · Murdoch J. Gabbay, James Cheney · 305

Contraction-free sequent calculi for intuitionistic logic

1992 · Roy Dyckhoff · Journal of Symbolic Logic · 295

Logics without the contraction rule

1985 · Hiroakira Ono, Yuichi Komori · Journal of Symbolic Logic · 294

Multiple-Conclusion Logic

1978 · D. J. Shoesmith, T. J. Smiley · Cambridge University Press eBooks · 285

Many-Valued Modal Logics

1991 · Melvin C. Fitting · Fundamenta Informaticae · 282

Proof theory

1977 · Kurt Schütte · 274

Lectures on linear logic

1992 · A. S. Troelstra · Medical Entomology and Zoology · 271

Type Logical Grammar: Categorial Logic of Signs

2011 · Glyn Morrill · Medical Entomology and Zoology · 251

KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)

2008 · André Platzer, Jan-David Quesel · Lecture notes in computer science · 247

A natural extension of natural deduction

1984 · Peter Schroeder-Heister · Journal of Symbolic Logic · 240

Works count: 6,105

Citation count: 52,730