Hilbert style, Gentzen style sequent and Kanger style sequent calculi for logic S5n(ED) are considered in this paper. Gentzen style sequent calculus is constructed and its equivalence with Hilbert style system is proved, getting soundness and completeness of Gentzen style system. Kanger style indexed sequent calculus is defined for cut elimination
International audienceWe define sequent-style calculi for nominal tense logics characterized by clas...
This paper presents sequent calculi in which proof search is terminating for two intuitionistic moda...
Abstract. A Gentzen sequent calculus for Lax Logic is presented, the proofs in which naturally corre...
Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional ...
Gentzen's sequent calculi LK and LJ are landmark proof systems. They identify the structural rules o...
International audienceThis paper introduces Hilbert systems for λ-calculus, called sequent combinato...
The variety SH of semi-Heyting algebras was introduced by H. P. Sankappanavar (in: Proceedings of th...
Hypersequent calculi arise by generalizing standard sequent calculi to refer to whole contexts of se...
This book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three p...
We show that one can consider the Gentzenstyle classical logic LKT, as presented in Danos et al.(199...
AbstractWe study a Gentzen style sequent calculus where the formulas on the left and right of the tu...
International audienceIn this paper, we present a simple sequent calculus for the modal propositiona...
Abstract. Which modal logics can be ‘naturally ’ captured by a sequent system? Clearly, this questio...
Hypersequent calculi arise by generalizing standard sequent calculi to refer to whole contexts of se...
We sketch a simple proof of Herbrand's theorem for Gentzen's calculi of sequents LK and LJ in the ge...
International audienceWe define sequent-style calculi for nominal tense logics characterized by clas...
This paper presents sequent calculi in which proof search is terminating for two intuitionistic moda...
Abstract. A Gentzen sequent calculus for Lax Logic is presented, the proofs in which naturally corre...
Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional ...
Gentzen's sequent calculi LK and LJ are landmark proof systems. They identify the structural rules o...
International audienceThis paper introduces Hilbert systems for λ-calculus, called sequent combinato...
The variety SH of semi-Heyting algebras was introduced by H. P. Sankappanavar (in: Proceedings of th...
Hypersequent calculi arise by generalizing standard sequent calculi to refer to whole contexts of se...
This book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three p...
We show that one can consider the Gentzenstyle classical logic LKT, as presented in Danos et al.(199...
AbstractWe study a Gentzen style sequent calculus where the formulas on the left and right of the tu...
International audienceIn this paper, we present a simple sequent calculus for the modal propositiona...
Abstract. Which modal logics can be ‘naturally ’ captured by a sequent system? Clearly, this questio...
Hypersequent calculi arise by generalizing standard sequent calculi to refer to whole contexts of se...
We sketch a simple proof of Herbrand's theorem for Gentzen's calculi of sequents LK and LJ in the ge...
International audienceWe define sequent-style calculi for nominal tense logics characterized by clas...
This paper presents sequent calculi in which proof search is terminating for two intuitionistic moda...
Abstract. A Gentzen sequent calculus for Lax Logic is presented, the proofs in which naturally corre...
DOI
Add to ORKG