Eliminability of cut in hypersequent calculi for some modal logics of linear frames
type: Item
instance of: scholarly article
title: Eliminability of cut in hypersequent calculi for some modal logics of linear frames
zbMATH Open document ID: 1352.03064
author: Andrzej Indrzejczak
published in: Information Processing Letters
publication date: 2014-12-09T00:00:00Z
review text: 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)].
reviewed by: Emil Jeřábek
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6378630
zbMATH Keywords: hypersequent calculus
zbMATH Keywords: cut elimination
zbMATH Keywords: modal logic
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: j.ipl.2014.07.002
OpenAlex ID: W2043677412
cites work: A constructive analysis of RM
cites work: Hypersequents, logical consequence and intermediate logics for concurrency
cites work: Q3837723
cites work: Q4412849
cites work: Hypersequent Calculi for Godel Logics -- a Survey
cites work: Modal logic
cites work: Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
cites work: Q5547552
cites work: Proof analysis in intermediate logics
cites work: Q3773852
cites work: Natural deduction, hybrid systems and modal logics
cites work: Q5413334
cites work: From Frame Properties to Hypersequent Rules in Modal Logics
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
cites work: Gentzen calculi for modal propositional logic
DOI: 10.1016/J.IPL.2014.07.002
description: scientific article; zbMATH DE number 6378630