Results found: 1

Search results

Sort By:

Limit search:

Hypersequent Calculi for S5: The Methods of Cut Elimination

100%

Bednarska K., Indrzejczak A.

Logic and Logical Philosophy

2015

vol. 24

issue 3

277–311

S5 is one of the most important modal logic with nice syntactic, semantic and algebraic properties. In spite of that, a successful (i.e. cut-free) formalization of S5 on the ground of standard sequent calculus (SC) was problematic and led to the invention of numerous nonstandard, generalized forms of SC. One of the most interesting framework which was very often used for this aim is that of hypersequent calculi (HC). The paper is a survey of HC for S5 proposed by Pottinger, Avron, Restall, Poggiolesi, Lahav and Kurokawa. We are particularly interested in examining different methods which were used for proving the eliminability/admissibility of cut in these systems and present our own variant of a system which admits relatively simple proof of cut elimination.

Refine search results

1 Logic and Logical Philosophy

1 Bednarska K.

1 Indrzejczak A.

1 2015

Search results

Hypersequent Calculi for S5: The Methods of Cut Elimination