Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6378630
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Eliminability of cut in hypersequent calculi for some modal logics of linear frames |
scientific article; zbMATH DE number 6378630 |
Statements
Eliminability of cut in hypersequent calculi for some modal logics of linear frames (English)
0 references
9 December 2014
0 references
The paper presents Avron-style hypersequent calculi for the modal logics of linear frames K4.3, D4.3, and S4.3 and gives a constructive syntactic proof that they satisfy cut elimination. A form of the calculus for S4.3 appeared in an earlier paper by the author [Bull. Sect. Log., Univ. Łódź, Dep. Log. 41, No. 1--2, 89--104 (2012; Zbl 1287.03046)], but only with a semantic proof of cut elimination (i.e., completeness of the cut-free system). The cut elimination proof in the present paper is based on the method of \textit{A. Ciabattoni} et al. [Fuzzy Sets Syst. 161, No. 3, 369--389 (2010; Zbl 1190.03026)].
0 references
hypersequent calculus
0 references
cut elimination
0 references
modal logic
0 references
0 references
0.8750219941139221
0 references
0.8266555070877075
0 references
0.8087677955627441
0 references
0.8082175850868225
0 references
0.7958955764770508
0 references
