Bulletin of the Section of Logic 46 (1/2) (2017)
| Authors |
|
| Abstract |
Hypersequent calculi can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial flow of time. The system was proved to be cut-free HC formalization of respective temporal logics by means of Schütte/Hintikka-style semantical argument using models built from saturated hypersequents. In this paper we present a variant of this calculus for Kt4.3 with a constructive syntactical proof of cut elimination.
|
| Keywords | No keywords specified (fix it) |
| Categories |
No categories specified (categorize this paper) |
| DOI | 10.18778/0138-0680.46.1.2.10 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,436
External links
- From the Publisher via CrossRef (no proxy)
- dspace.uni.lodz.pl:8080
(no proxy) - hdl.handle.net (no proxy)
- czasopisma.uni.lodz.pl (no proxy)
- czasopisma.uni.lodz.pl [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.
Hypersequent Calculi for S5: The Methods of Cut Elimination.Kaja Bednarska & Andrzej Indrzejczak - 2015 - Logic and Logical Philosophy 24 (3):277–311.
A Cut-Free Simple Sequent Calculus for Modal Logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
Citations of this work BETA
On a Multilattice Analogue of a Hypersequent S5 Calculus.Oleg Grigoriev & Yaroslav Petrukhin - forthcoming - Logic and Logical Philosophy:1.
Two Proofs of the Algebraic Completeness Theorem for Multilattice Logic.Oleg Grigoriev & Yaroslav Petrukhin - 2019 - Journal of Applied Non-Classical Logics 29 (4):358-381.
Cut Elimination in Hypersequent Calculus for Some Logics of Linear Time.Andrzej Indrzejczak - 2019 - Review of Symbolic Logic 12 (4):806-822.
Similar books and articles
Simple Cut Elimination Proof for Hybrid Logic.Andrezj Indrzejczak - 2016 - Logic and Logical Philosophy 25 (2):129-141.
Temporal Non-Commutative Logic: Expressing Time, Resource, Order and Hierarchy.Norihiro Kamide - 2009 - Logic and Logical Philosophy 18 (2):97-126.
From Single Agent to Multi-Agent Via Hypersequents.Francesca Poggiolesi - 2013 - Logica Universalis 7 (2):147-166.
Intermediate Logics Admitting a Structural Hypersequent Calculus.Frederik Lauridsen - 2019 - Studia Logica 107 (2):247-282.
Dynamic Non-Commutative Logic.Norihiro Kamide - 2010 - Journal of Logic, Language and Information 19 (1):33-51.
The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
Hypersequent Calculi for S5: The Methods of Cut Elimination.Kaja Bednarska & Andrzej Indrzejczak - 2015 - Logic and Logical Philosophy 24 (3):277–311.
Cut-Free Hypersequent Calculus for S4. 3.Andrzej Indrzejczak - 2012 - Bulletin of the Section of Logic 41 (1/2):89-104.
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.
Contraction-Elimination for Implicational Logics.Ryo Kashima - 1997 - Annals of Pure and Applied Logic 84 (1):17-39.
Analytic Proof Systems for Λ-Calculus: The Elimination of Transitivity, and Why It Matters. [REVIEW]Pierluigi Minari - 2007 - Archive for Mathematical Logic 46 (5-6):385-424.
Tautology Elimination, Cut Elimination, and S5.Andrezj Indrzejczak - 2017 - Logic and Logical Philosophy 26 (4):461-471.
Analytics
Added to PP index
2018-04-25
Total views
4 ( #1,283,024 of 2,520,358 )
Recent downloads (6 months)
1 ( #406,012 of 2,520,358 )
2018-04-25
Total views
4 ( #1,283,024 of 2,520,358 )
Recent downloads (6 months)
1 ( #406,012 of 2,520,358 )
How can I increase my downloads?
Downloads
