Sambin, G.; Valentini, S. A modal sequent calculus for a fragment of arithmetic. (English) Zbl 0457.03016 Stud. Log. 39, 245-256 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 13 Documents MSC: 03B45 Modal logic (including the logic of norms) 03F05 Cut-elimination and normal-form theorems Keywords:canonical derivability predicates; propositional modal logic; GL; cut elemination Citations:Zbl 0409.03009 PDFBibTeX XMLCite \textit{G. Sambin} and \textit{S. Valentini}, Stud. Log. 39, 245--256 (1980; Zbl 0457.03016) 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.