Abstract
The paper is a brief survey of some sequent calculi (SC) which do not follow strictly the shape of sequent calculus introduced by Gentzen. We propose the following rough classification of all SC: Systems which are based on some deviations from the ordinary notion of a sequent are called generalised; remaining ones are called ordinary. Among the latter we distinguish three types according to the proportion between the number of primitive sequents and rules. In particular, in one of these types, called Gentzen’s type, we have a subtype of standard SC due to Gentzen. Hence by nonstandard ones we mean all these ordinary SC where other kinds of rules are applied than those admitted in standard Gentzen’s sequent calculi. We describe briefly some of the most interesting or important nonstandard SC belonging to the three abovementioned types.
Article PDF
Similar content being viewed by others
References
Ajdukiewicz, K., Sprache und Sinn, Erkenntniss IV:100–138, 1934.
Anderson, A. R., and N. D. Belnap, Entailment: the Logic of Relewance and Necessity, vol. I, Princeton University Press, Princeton 1975.
Andrews, P. B., An Introduction to Mathematical Logic and Type Theory: to Truth through Proof, Harcourt Academic Press, Orlando 1986.
Avron A.: Simple Consequence Relations. Information and Computation 92, 105–139 (1991)
Avron, A., The Method of Hypersequents in the Proof Theory of Propositional Non- Classical Logics, in W. Hodges et al. (eds.), Logic: From Foundations to Applications, Oxford Science Publication, Oxford, 1996, pp. 1–32.
Belnap N. D.: Display Logic. Journal of Philosophical Logic 11, 375–417 (1982)
Bernays, P., Betrachtungen zum Sequenzen-Kalkul, in A. T. Tymieniecka (ed.), Contributions to Logic and Methodology in honor of J. M. Bocheński, North-Holland, Amsterdam 1965, pp. 1–44.
Blamey S, Humberstone L.: A Perspective on Modal Sequent Logic. Publications of the Research Institute for Mathematical Sciences, Kyoto University 27, 763–782 (1991)
Carnielli W.A.: On Sequents and Tableaux for Many-valued Logics. Journal of Non-Classical Logic 8(1), 59–76 (1991)
Ciabattoni, A., R. Ramanayake, and H. Wansing, Hypersequent and Display Calculi – a unified pespective, Studia Logica, this issue.
Curry, H. B., Foundations of Mathematical Logic, McGraw-Hill, New York 1963.
Dos̆en K.: Sequent-systems for Modal Logic. Journal of Symbolic Logic 50, 149–159 (1985)
Dos̆en K.: Logical constants as punctuation marks. Notre Dame Journal of Formal Logic 30, 362–381 (1989)
Dunn, J. M., and G. M. Hardegree, Algebraic Methods in Philosophical Logic, Clarendon, Oxford 2001.
Ebbinghaus, H. D., J. Flum, and W. Thomas, Mathematical Logic, Springer, Berlin 1984.
Ershow, Y. L., and E. A. Palyutin, Mathematical Logic, MIR, Moscow 1984.
Feys, R., and J. Ladriere, Supplementary notes, in Recherches sur la deduction logique, french translation of Gentzen, Press Univ. de France, Paris 1955.
Forbes, G., Modern Logic, New York 2001.
Gabbay, D., LDS - Labelled Deductive Systems, Clarendon Press, Oxford 1996.
Garson, J.W. Modal Logic for Philosophers, Cambridge University Press, Cambridge 2006.
Gentzen G.: Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen. Mathematische Annalen 107, 329–350 (1932)
Gentzen, G., Untersuchungen über das Logische Schliessen, Mathematische Zeitschrift 39:176–210 and 39:405–431, 1934.
Gentzen G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen 112, 493–565 (1936)
Hasenjaeger, G., Introduction to the Basic Concepts and Problems of Modern Logic, Reidel, Dordrecht 1972.
Hermes, H., Einführung in die Mathematische Logik, Teubner, Stuttgart 1963.
Hertz P.: Über Axiomensysteme für beliebige Satzsysteme. Mathematische Annalen 101, 457–514 (1929)
Hudelmayer, J., and P. Schroeder-Heister, Classical Lambek Calculus, in P. Baumgartner, R. Hähnle, and J. Possega (eds.), Theorem Proving with Analytic Tableaux and Related Methods. 4th International Workshop, TABLEAUX’95 (St. Goar, May 7-10, 1995), Springer LNAI, Bd. 918, 1995, pp. 247–262.
Indrzejczak A.: Generalised Sequent Calculus for Propositional Modal Logics. Logica Trianguli 1, 15–31 (1997)
Indrzejczak A.: Suszko’s Contribution to the Theory of Nonaxiomatic Proof Systems. Bulletin of the Section of logic 38(3-4), 151–162 (2009)
Indrzejczak, A., Natural Deduction, Hybrid Systems and Modal Logics, Springer 2010.
Indrzejczak, A., Rachunki sekwentowe w logice klasycznej, Wyd. UŁ, Łódź 2013.
Jaśkowski S.: On the Rules of Suppositions in Formal Logic. Studia Logica 1, 5–32 (1934)
Kalish, D., and R. Montague, Logic, Techniques of Formal Reasoning, Harcourt, Brace and World, New York 1964.
Kashima R.: Cut-free sequent calculi for some tense logics. Studia Logica 53, 119–135 (1994)
Kleene, S. C., Introduction to Metamathematics, North Holland, Amsterdam 1952.
Kleene, S. C., Mathematical Logic, Willey, New York 1967.
Leblanc H.: Proof routines for the propositional calculus. Notre Dame Journal of Formal Logic 4(2), 81–104 (1963)
Leblanc H.: Two separation theorems for natural deduction. Notre Dame Journal of Formal Logic 7(2), 81–104 (1966)
Lemmon, E. J., Beginning Logic, Nelson, London 1965.
Leszczyńska-Jasion D, Urbański M, Wiśniewski A.: Socratic Trees. Studia Logica 101(5), 959–986 (2013)
Ławrow, I. A., and L. L. Maksimowa, Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów, PWN, Warszawa 2004.
Negri, S., and J. von Plato, Structural Proof Theory, Cambridge University Press, Cambridge 2001.
Nishimura H.: A Study of Some Tense Logics by Gentzen’s Sequential Method. Publications of the Research Institute for Mathematical Sciences, Kyoto University 16, 343–353 (1980)
von Plato J.: Natural deduction with general elimination rules. Archiv for Mathematical Logic 40, 541–567 (1980)
Poggiolesi, F., Gentzen Calculi for Modal Propositional Logic, Springer 2011.
Popper K.: Logic without assumptions. Proceedings of the Aristotelian Society 47, 251–292 (1947)
Popper, K., New foundations for Logic, Mind 56:1947.
Quine, W. Van O., Methods of Logic, Colt, New York 1950.
Rieger, L., Algebraic Methods of Mathematical Logic, Academia, Prague 1967.
Rousseau, G., Sequents in Many Valued Logic, Fundamenta Mathematicae LX(1):22–23, 1967.
Schroeder-Heister P.: Popper’s theory of deductive inference and the concept of a logical constant. History and Philosophy of Logic 5, 79–110 (1984)
Schroeder-Heister P.: Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen. The Bulletin of Symbolic Logic 8(2), 246–265 (2002)
Schroeder-Heister, P., Popper’s structuralist theory of logic, in I. Jarvie, K. Milford, D. Miller (eds.), Karl Popper: A Centenary Assesment, vol III: Science, Ashgate Publishing: Aldershot 2006, pp. 17–36.
Schütte, K., Proof Theory, Springer, Berlin 1977.
Scott, D., Rules and derived rules, in S. Stenlund (ed.), Logical Theory and Semantical Analysis, 1974, pp. 147–161.
Smullyan, R., First-Order Logic, Springer 1968.
Stouppa P.: A deep inference system for the modal logic S5. Studia Logica 85, 199–214 (2007)
Suppes P., Introduction to Logic, Van Nostrand, Princeton 1957.
Surma, S. J., Wprowadzenie do metamatematyki T. I, Kraków 1965.
Suszko, R., W sprawie logiki bez aksjomatów, Kwartalnik Filozoficzny 17(3/4):199– 205, 1948.
Suszko, R., O analitycznych aksjomatach i logicznych regułach wnioskowania, Poznańskie Towarzystwo Przyjaciół Nauk, Prace Komisji Filozoficznej, 7/5, 1949.
Suszko R.: Formalna teoria wartości logicznych. Studia Logica 6, 145–320 (1957)
Tait, W. W., Normal Derivability in Classical Logic, in The Sintax and Semantics of Infinitary Languages, LNM 72, 1968, pp. 204–236.
Wansing, H., Displaying Modal Logics, Kluwer Academic Publishers, Dordrecht 1999.
Wansing, H., Sequent Systems for Modal Logics, in D. Gabbay, F. Guenthner (eds.), Handbook of Philosophical Logic, vol IV, Reidel Publishing Company, Dordrecht 2002, pp. 89–133.
Wiśniewski A.: Socratic Proofs. Journal of Philosophical Logic 33(3), 299–326 (2004)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Indrzejczak, A. A Survey of Nonstandard Sequent Calculi. Stud Logica 102, 1295–1322 (2014). https://doi.org/10.1007/s11225-014-9567-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-014-9567-y