Studia Logica 102 (6):1295-1322 (2014)

Andrzej Indrzejczak
University of Lodz
The paper is a brief survey of some sequent calculi 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.
Keywords Sequent Calculi  Natural Deduction  Proof Methods
Categories (categorize this paper)
DOI 10.1007/s11225-014-9567-y
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,172
External links

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

References found in this work BETA

Display Logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Logical Constants as Punctuation Marks.Kosta Došen - 1989 - Notre Dame Journal of Formal Logic 30 (3):362-381.
Natural Deduction with General Elimination Rules.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (7):541-567.
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.

View all 22 references / Add more references

Citations of this work BETA

Gödel’s Natural Deduction.Kosta Došen & Miloš Adžić - 2018 - Studia Logica 106 (2):397-415.
A Sequent Systems Without Improper Derivations.Katsumi Sasaki - 2022 - Bulletin of the Section of Logic 51 (1):91-108.

Add more citations

Similar books and articles

Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
Marginalia on Sequent Calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.
Gentzen's Proof Systems: Byproducts in a Work of Genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
Cuts, Gluts and Gaps.Vincent Degauquier - 2012 - Logique Et Analyse 55 (218):229-240.
Sequent Calculi for Some Trilattice Logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.
Labeled Sequent Calculi for Modal Logics and Implicit Contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.
LEt ® , LR °[^( ~ )], LK and Cutfree Proofs.Katalin Bimbó - 2007 - Journal of Philosophical Logic 36 (5):557-570.
Bunched Logics Displayed.James Brotherston - 2012 - Studia Logica 100 (6):1223-1254.


Added to PP index

Total views
25 ( #457,862 of 2,517,876 )

Recent downloads (6 months)
1 ( #409,482 of 2,517,876 )

How can I increase my downloads?


My notes