Studia Logica 105 (1):93-119 (2017)
| Authors |
|
| Abstract |
In this paper we develop what we can describe as a “dual two-sided” cut-free sequent calculus system for the non-classical logics of truth lp, k3, stt and a non-reflexive logic ts which is, arguably, more elegant than the three-sided sequent calculus developed by Ripley for the same logics. Its elegance stems from how it employs more or less the standard sequent calculus rules for the various connectives and truth, and the fact that it offers a rather neat connection between derivable sequents and validity in comparison to the calculus developed by Ripley.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s11225-016-9683-y |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Conservatively Extending Classical Logic with Transparent Truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
Structural Reflexivity and the Paradoxes of Self-Reference.Rohan French - 2016 - Ergo: An Open Access Journal of Philosophy 3.
View all 12 references / Add more references
Citations of this work BETA
LP, K3, and FDE as Substructural Logics.Lionel Shapiro - 2017 - In Pavel Arazim & Tomáš Lavička (eds.), The Logica Yearbook 2016. London: College Publications.
(I Can't Get No) Antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini - forthcoming - Synthese:1-15.
Omega-Inconsistency Without Cuts and Nonstandard Models.Andreas Fjellstad - 2016 - Australasian Journal of Logic 13 (5).
Structural Proof Theory for First-Order Weak Kleene Logics.Andreas Fjellstad - 2020 - Journal of Applied Non-Classical Logics 30 (3):272-289.
Logical Nihilism and the Logic of ‘Prem’.Andreas Fjellstad - forthcoming - Logic and Logical Philosophy:1.
Similar books and articles
On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.
Canonical Proof Nets for Classical Logic.Richard McKinley - 2013 - Annals of Pure and Applied Logic 164 (6):702-732.
Intuitionistic Sequent Calculi for Finitely Many-Valued Logics.E. Reznik & P. Curmin - 2001 - Logic Journal of the IGPL 9 (6):793-812.
Sequent Calculi And Quasivarieties.Katarzyna Palasinska - 2000 - Reports on Mathematical Logic:107-131.
A Minimal Classical Sequent Calculus Free of Structural Rules.Dominic Hughes - 2010 - Annals of Pure and Applied Logic 161 (10):1244-1253.
A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic of Provability.Francesca Poggiolesi - 2009 - Review of Symbolic Logic 2 (4):593-611.
Distributive-Lattice Semantics of Sequent Calculi with Structural Rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
A Cut-Free Simple Sequent Calculus for Modal Logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
2-Sequent Calculus: A Proof Theory of Modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.
A Sequent Calculus for Urn Logic.Rohan French - 2015 - Journal of Logic, Language and Information 24 (2):131-147.
Cut-Elimination and Proof-Search for Bi-Intuitionistic Logic Using Nested Sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 43-66.
Analytics
Added to PP index
2016-08-31
Total views
18 ( #558,301 of 2,403,076 )
Recent downloads (6 months)
3 ( #257,218 of 2,403,076 )
2016-08-31
Total views
18 ( #558,301 of 2,403,076 )
Recent downloads (6 months)
3 ( #257,218 of 2,403,076 )
How can I increase my downloads?
Downloads
