Results 1  10
of
11,194
Sequent Calculus for Justifications
"... We present a cutfree sequent calculus that can internalize its own proofs, providing a new justification system for modal logic. ..."
Abstract
 Add to MetaCart
We present a cutfree sequent calculus that can internalize its own proofs, providing a new justification system for modal logic.
PARAMETRIC MIXED SEQUENT CALCULUS
"... In this paper, we present a propositional sequent calculus containing disjoint copies of classical and intuitionistic logics. We prove a cutelimination theorem and we establish a relation between this system and linear logic. 1 ..."
Abstract
 Add to MetaCart
In this paper, we present a propositional sequent calculus containing disjoint copies of classical and intuitionistic logics. We prove a cutelimination theorem and we establish a relation between this system and linear logic. 1
Chapter 3 Sequent Calculus
, 2001
"... In the previous chapter we developed linear logic in the form of natural deduction, which is appropriate for many applications of linear logic. It is also highly economical, in that we only needed one basic judgment (A true) and two judgment forms (linear and unrestricted hypothetical judgments) to ..."
Abstract
 Add to MetaCart
) to explain the meaning of all connectives we have encountered so far. However, it is not immediately wellsuited for proof search, because it involves mixing forward and backward reasoning even if we restrict ourselves to searching for normal deductions. In this chapter we develop a sequent calculus as a
Chapter 3 Sequent Calculus
, 2001
"... In the previous chapter we developed linear logic in the form of natural deduction, which is appropriate for many applications of linear logic. It is also highly economical, in that we only needed one basic judgment (A true)andtwo judgment forms (linear and unrestricted hypothetical judgments) to ex ..."
Abstract
 Add to MetaCart
) to explain the meaning of all connectives we have encountered so far. However, it is not wellsuited directly proof search, because this involves mixing forward and backward reasoning even if we restrict ourselves to searching for normal deductions. In this chapter we develop a sequent calculus as a calculus
Sequent Calculus Viewed Modulo
 University of Birmingham
, 2000
"... The firstorder sequent calculus is generally considered as containing no computation but only pure deduction. But this is not completely true if we look at it carefully, using a deduction modulo framework. The origins of the computational part are first implicit behaviours of the calculus, then wel ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
The firstorder sequent calculus is generally considered as containing no computation but only pure deduction. But this is not completely true if we look at it carefully, using a deduction modulo framework. The origins of the computational part are first implicit behaviours of the calculus
Sequent Calculus and Quantum Parallelism
"... In the last years, quantum computational logics have been developed in order to describe the logical setting of quantum computation [1]. An important challenge is the development of proof theoretical tools for quantum computation, so that the physical process of computation can correspond to a logic ..."
Abstract
 Add to MetaCart
logical process of computation. In particular, the challenge is that quantum computational speed up, due to superposition and entanglement, can find an explanation in terms of logical proofs. The object of our research is a sequent calculus developed in the framework of basic logic, that is a logical
A Sequent Calculus for Circumscription
, 1997
"... . In this paper, we introduce a sequent calculus CIRC for propositional Circumscription. This work is part of a larger project, aiming at a uniform prooftheoretic reconstruction of the major families of nonmonotonic logics. Among the novelties of the calculus, we mention that CIRC is analytic ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
. In this paper, we introduce a sequent calculus CIRC for propositional Circumscription. This work is part of a larger project, aiming at a uniform prooftheoretic reconstruction of the major families of nonmonotonic logics. Among the novelties of the calculus, we mention that CIRC is analytic
Sequent Calculus and Abstract Machines
, 2004
"... The sequent calculus proof system, as an alternative to natural deduction and Hilbertstyle systems, has been wellappreciated for its structural symmetry and its applicability to automated proof search. Over the past decade, it has additionally been shown to have a computational significance, perha ..."
Abstract
 Add to MetaCart
The sequent calculus proof system, as an alternative to natural deduction and Hilbertstyle systems, has been wellappreciated for its structural symmetry and its applicability to automated proof search. Over the past decade, it has additionally been shown to have a computational significance
Results 1  10
of
11,194