Admissibility of Cut in Congruent Modal Logics

• Authors: Andrzej Indrzejczak
• Languages of publication: EN

Abstracts

EN

We present a detailed proof of the admissibility of cut in sequent calculus for some congruent modal logics. The result was announced much earlier during the Trends in Logic Conference, Toruń 2006 and the proof for monotonic modal logics was provided already in Indrzejczak [5]. Also some tableau and natural deduction formalizations presented in Indrzejczak [6] and Indrzejczak [7] were based on this result but the proof itself was not published so far. In this paper we are going to fill this gap. The delay was partly due to the fact that the author from time to time was trying to improve the result and extend it to some additional logics by testing other methods of proving cut elimination. Unfortunately all these attempts failed and cut elimination holds only for these logics which were proved to satisfy this property already in 2005.

Keywords

EN

modal logics; proof methods; sequent calculi; cut elimination

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2011
• Volume: 20
• Issue: 3
• Pages: 189-203

Dates

published

2011-09-01

online

2013-07-02

Contributors

author

Andrzej Indrzejczak

• Lodz University Department of Logic ul. Kopcińskiego 16/18 87-100 Łódź, Poland

References

• [1] Bull, R., and K. Segerberg, “Basic Modal Logic”, pages 1-88 in: D. Gabbay, F. Guenthner (eds.), Handbook of Philosophical Logic, vol II, Reidel Publishing Company, Dordrecht 1984.
• [2] Chellas, B., Modal Logic, Cambridge University Press, Cambridge 1980.
• [3] Dragalin, A., Mathematical Intuitionism: Introduction to Proof Theory, American Mathematical Society, Providence, Rhode Island 1988.
• [4] Hansen, H.H., Monotonic Modal Logics, MA thesis, University of Amsterdamm 2003.
• [5] Indrzejczak, A., “Sequent calculi for monotonic modal logics”, Bulletin ofthe Section of logic 34, 3 (2005): 151-164.
• [6] Indrzejczak, A., “Labelled tableau calculi for weak modal logics”, Bulletinof the Section of logic 36, 3-4 (2007): 159-173.
• [7] Indrzejczak, A., Natural Deduction, Hybrid Systems and Modal Logics, Trends in Logic series, vol 30, Springer Verlag 2010.
• [8] Lavendhomme, R., and T. Lucas, “Sequent calculi and decision procedures for weak modal systems”, Studia Logica 65 (2000): 121-145.
• [9] Negri, S., and J. von Plato, Structural Proof Theory, Cambridge University Press, Cambridge 2001.
• [10] Segerberg, K., An Essay in Classical Modal Logic I-III, Filosofiska Studier no 13, Uppsala Universitet, Uppsala 1971.
• [11] Troelstra, A. S., and H. Schwichtenberg, Basic Proof Theory, Oxford University Press, Oxford 1996.

Identifiers

DOI

10.12775/LLP.2011.010