Add to ORKGThe aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed
International audienceWe define cut-free display calculi for knowledge logics where an indiscernibil...
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support re...
We formulate a unified display calculus proof theory for the four principal varieties of bunched log...
The aim of this paper is to introduce and explain display calculi for a variety of logics. We provid...
1 Introduction Sequent calculi provide a rigorous basis for meta-theoretic studies of logics. The ce...
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support re...
This Ph.D. thesis addresses the problem of giving computational interpretation to proofs in classica...
AbstractWe formulate a unified display calculus proof theory for the four principal varieties of bun...
International audienceIn this paper we introduce and compare four different syntactic methods for ge...
AbstractWe use a deep embedding of the display calculus for relation algebras δRA in the logical fra...
International audienceDisplay calculi are generalised sequent calculi which enjoy a `canonical' cut ...
We give a general proof-theoretic method for establishing Craig interpolation for displayable logics...
A syntactic proof of cut-elimination yields a procedure to eliminate every instance the cut-rule fro...
Abstract. We formulate a unified display calculus proof theory for the four principal varieties of b...
Abstract. We use a deep embedding of the display calculus for relation algebras ffiRA in the logical...
International audienceWe define cut-free display calculi for knowledge logics where an indiscernibil...
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support re...
We formulate a unified display calculus proof theory for the four principal varieties of bunched log...
The aim of this paper is to introduce and explain display calculi for a variety of logics. We provid...
1 Introduction Sequent calculi provide a rigorous basis for meta-theoretic studies of logics. The ce...
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support re...
This Ph.D. thesis addresses the problem of giving computational interpretation to proofs in classica...
AbstractWe formulate a unified display calculus proof theory for the four principal varieties of bun...
International audienceIn this paper we introduce and compare four different syntactic methods for ge...
AbstractWe use a deep embedding of the display calculus for relation algebras δRA in the logical fra...
International audienceDisplay calculi are generalised sequent calculi which enjoy a `canonical' cut ...
We give a general proof-theoretic method for establishing Craig interpolation for displayable logics...
A syntactic proof of cut-elimination yields a procedure to eliminate every instance the cut-rule fro...
Abstract. We formulate a unified display calculus proof theory for the four principal varieties of b...
Abstract. We use a deep embedding of the display calculus for relation algebras ffiRA in the logical...
International audienceWe define cut-free display calculi for knowledge logics where an indiscernibil...
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support re...
We formulate a unified display calculus proof theory for the four principal varieties of bunched log...