Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,332,909 papers from all fields of science
Search
Sign In
Create Free Account
Sequent calculus
Known as:
Sequent (disambiguation)
, System LK
, Calculus (disambiguation)
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
38 relations
Abductive reasoning
Admissible rule
Artificial intelligence
Atomic formula
Expand
Broader (1)
Automated theorem proving
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
Ekaterina Komendantskaya
,
Patricia Johann
,
Martin Schmidt
arXiv.org
2015
Corpus ID: 18108315
Logic programming (LP) is a programming language based on first-order Horn clause logic that uses SLD-resolution as a semi…
Expand
2008
2008
Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus
M. Lupea
10th International Symposium on Symbolic and…
2008
Corpus ID: 1434492
The family of default logics formalize the default reasoning using nonmonotonic inference rules called defaults. In this paper we…
Expand
2008
2008
Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach
Alexandre Rademaker
,
E. H. Haeusler
Brazilian Symposium on Artificial Intelligence
2008
Corpus ID: 36614541
This article presents labelled sequent calculi $\mathcal{{S}_{ALC}}$ and $\mathcal{{S}^{[]}_{ALC}}$ for the basic Description…
Expand
2007
2007
Cut-free Sequent Calculus for S5
Andrzej Indrzejczak
2007
Corpus ID: 50699644
We aim at an exposition of some nonstandard cut-free Gentzen formalization for S5, called DSC (double sequent calculus). DSC…
Expand
2002
2002
A Gentzen System for Reasoning with Contrary-To-Duty Obligations: A Preliminary Study
Guido Governatori
,
A. Rotolo
2002
Corpus ID: 14684105
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is…
Expand
2001
2001
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming
C. Ramakrishnan
International Symposium on Practical Aspects of…
2001
Corpus ID: 17502429
Recent advances in logic programming have been successfully used to build practical verification toolsets, as evidenced by the…
Expand
2001
2001
Fully Adequate Gentzen Systems and the Deduction Theorem
J. M. Font
,
R. Jansana
,
D. Pigozzi
Reports Math. Log.
2001
Corpus ID: 14481370
An infinite sequence ∆ = ∆n(x0,. .. , xn−1, y, ¯ u) : n < ω of possibly infinite sets of formulas in n + 1 variables x0,. .. , xn…
Expand
2001
2001
Multiple tissue antigen analysis by sequential immunofluorescence staining and multi-dimensional image analysis
Carolina Wählby
,
F. Erlandsson
,
K. Nyberg
,
Joakim Lindblad
,
A. Zetterberg
,
E. Bengtsson
2001
Corpus ID: 16985846
This paper presents a novel method for sequential immunofluorescence staining, which, in combination with 3D image registration…
Expand
2000
2000
Sequent Calculus Viewed Modulo
Eri DeplagneUHP-LORIA
2000
Corpus ID: 117919286
The first-order sequent calculus is generally considered as containing no computation but only pure deduction. But this is not…
Expand
1977
1977
A sequent calculus for type assignment
J. Seldin
Journal of Symbolic Logic (JSL)
1977
Corpus ID: 31204152
The sequent calculus formulation (L-formulation) of the theory of functionality without the rules allowing for conversion of…
Expand