×

A modal sequent calculus for a fragment of arithmetic. (English) Zbl 0457.03016


MSC:

03B45 Modal logic (including the logic of norms)
03F05 Cut-elimination and normal-form theorems

Citations:

Zbl 0409.03009
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] G. Boolos, The unprovability of consistency. An essay in modal logic, Cambridge U. P. 1979. · Zbl 0409.03009
[2] W. Rautenberg, Klassiche und Nichtklassiche Aussagenlogik, Vieweg Verlag 1979.
[3] C. Smorynski, Beth’s Theorem and self-referential statements, in: Logic Colloquium ’77, A Macintyre, L. Pacholski, J. Paris (eds), North Holland 1978, pp. 253-261. · Zbl 0453.03018
[4] G. Takeuti, Proof Theory, North Holland 1975.
[5] S. Valentini, Cut elimination in a modal sequent calculus for K, submitted to Studia Logica. · Zbl 0495.03012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.