Sequent calculus

Known as: Sequent (disambiguation), System LK, Calculus (disambiguation)

Sequent calculus is, in essence, a style of formal logical argumentation where every line of a proof is a conditional tautology (called a sequent by…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

The trilattice $\textit{SIXTEEN}_3$ is a natural generalization of the well-known bilattice $\textit{FOUR}_2$. Cut-free, sound…

2007

It is well-known that intuitionistic and classical provability can be character- ized by the existence of winning proponent…

2006

This paper develops an inference system for natural language within the ‘Natural Logic’ paradigm as advocated by van Benthem…

2006

Based on natural deduction, Pure Type Systems (PTS) can express a wide range of type theories. In order to express proof-search…

2003

Gentzen's “Untersuchungen” [1] gave a translation from natural deduction to sequent calculus with the property that normal…

2002

In recent years, intuitionistic logic and type systems have been used in numerous computational systems as frameworks for the…

2000

The first-order sequent calculus is generally considered as containing no computation but only pure deduction. But this is not…

1996

This paper presents a general scheme [10, 11] of transforming a cutfree Gentzentype system into a resolution type system…

1995

Product and summation operators for predicate transformers were introduced by Naumann and by Martin using category theoretic…

1977

The sequent calculus formulation (L-formulation) of the theory of functionality without the rules allowing for conversion of…