Switch to: Citations

References in:

On the Proof Theory of the Modal Logic Grz

M. Borga & P. Gentilini

Mathematical Logic Quarterly 32 (10‐12):145-148 (1986)

Add references

You must login to add references.

On some proof theoretical properties of the modal logic GL.Marco Borga - 1983 - Studia Logica 42 (4):453 - 459.details This paper deals with the system of modal logicGL, in particular with a formulation of it in terms of sequents. We prove some proof theoretical properties ofGL that allow to get the cut-elimination theorem according to Gentzen's procedure, that is, by double induction on grade and rank. Download Export citation Bookmark 13 citations
On modal systems having arithmetical interpretations.Arnon Avron - 1984 - Journal of Symbolic Logic 49 (3):935-942.details Download Export citation Bookmark 24 citations
Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition. Download Export citation Bookmark 128 citations
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.details Download Export citation Bookmark 165 citations
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.details Download Export citation Bookmark 125 citations

1