Abstract
In this paper we are applying certain strategy described by Negri and Von Plato (Bull Symb Log 4(04):418–435, 1998), allowing construction of sequent calculi for axiomatic theories, to Suszko’s Sentential calculus with identity. We describe two calculi obtained in this way, prove that the cut rule, as well as the other structural rules, are admissible in one of them, and we also present an example which suggests that the cut rule is not admissible in the other.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Bloom, S., and R. Suszko, Investigations into the sentential calculus with identity, Notre Dame Journal of Formal Logic 13(3):289–308, 1972.
Golińska-Pilarek, J., Rasiowa–Sikorski proof system for the non-Fregean sentential logic, Journal of Applied Non-Classical Logics 17(4):511–519, 2007.
Michaels, A., A uniform proof procedure for SCI tautologies, Studia Logica 33(3):299–310, 1974.
Negri, S., and J. Von Plato, Cut elimination in the presence of axioms, Bulletin of Symbolic Logic 4(04):418–435, 1998.
Negri, S., and J. Von Plato, Proof Analysis: A Contribution to Hilbert’s Last Problem, Cambridge University Press, Cambridge, 2011.
Negri, S., J. Von Plato, and T. Coquand, Proof-theoretical analysis of order relations, Archive for Mathematical Logic 43(3):297–309, 2004.
Negri, S., J. Von Plato, and A. Ranta, Structural Proof Theory, Cambridge University Press, Cambridge, 2008.
Omyła, M., Zarys logiki niefregowskiej, Państwowe Wydawnictwo Naukowe, 1986.
Orłowska, E., and J. Golińska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer Science & Business Media, Berlin, 2010.
Suszko, R., Abolition of the Fregean axiom, in Logic Colloquium, Springer, 1975, pp. 169–239.
Vigano, L., Labelled Non-classical Logics, Springer Science & Business Media, Berlin, 2013.
Wasilewska, A., A sequence formalization for SCI, Studia Logica 35(3):213–217, 1976.
Wasilewska, A., DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations, Studia Logica 43(4):395–404, 1984.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Andrzej Indrzejczak
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Chlebowski, S. Sequent Calculi for \({\mathsf {SCI}}\) . Stud Logica 106, 541–563 (2018). https://doi.org/10.1007/s11225-017-9754-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-017-9754-8