Australasian Journal of Logic 18 (2):51-72 (2021)
Authors |
|
Abstract |
Restall set forth a "consecution" calculus in his "An Introduction to Substructural Logics." This is a natural deduction type sequent calculus where the structural rules play an important role. This paper looks at different ways of extending Restall's calculus. It is shown that Restall's weak soundness and completeness result with regards to a Hilbert calculus can be extended to a strong one so as to encompass what Restall calls proofs from assumptions. It is also shown how to extend the calculus so as to validate the metainferential rule of reasoning by cases, as well as certain theory-dependent rules.
|
Keywords | consecution external consequence Hilbert consequence relevant logic substructural proof theory |
Categories | (categorize this paper) |
DOI | 10.26686/ajl.v18i2.6770 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Relevant Logic: A Philosophical Examination of Inference.Stephen Read - 1988 - Oxford: Wiley-Blackwell.
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
Relevance Logic.Michael Dunn & Greg Restall - 2002 - In D. Gabbay & F. Guenthner (eds.), Handbook of Philosophical Logic. Kluwer Academic Publishers.
View all 26 references / Add more references
Citations of this work BETA
Similar books and articles
New Consecution Calculi for R→T.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.
On Proof Terms and Embeddings of Classical Substructural Logics.Ken-Etsu Fujita - 1998 - Studia Logica 61 (2):199-221.
The Epsilon Calculus.Jeremy Avigad & Richard Zach - 2008 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Center for the Study of Language and Information, Stanford University.
Proof Analysis: A Contribution to Hilbert's Last Problem.Sara Negri & Jan von Plato - 2011 - Cambridge and New York: Cambridge University Press.
Encoding Modal Logics in Logical Frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.
Displaying and Deciding Substructural Logics 1: Logics with Contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
On the Proof-Theory of a First-Order Extension of GL.Yehuda Schwartz & George Tourlakis - 2014 - Logic and Logical Philosophy 23 (3).
Linear Temporal Logic with Until and Next, Logical Consecutions.V. Rybakov - 2008 - Annals of Pure and Applied Logic 155 (1):32-45.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2018 - In Anil Nerode & Sergei Artemov (eds.), Logical Foundations of Computer Science. Springer International Publishing. pp. 120 - 139.
Canonical Proof Nets for Classical Logic.Richard McKinley - 2013 - Annals of Pure and Applied Logic 164 (6):702-732.
The Original Sin of Proof-Theoretic Semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.
Analytics
Added to PP index
2021-05-10
Total views
76 ( #152,131 of 2,507,637 )
Recent downloads (6 months)
32 ( #28,040 of 2,507,637 )
2021-05-10
Total views
76 ( #152,131 of 2,507,637 )
Recent downloads (6 months)
32 ( #28,040 of 2,507,637 )
How can I increase my downloads?
Downloads