Indexed systems of sequents and cut-elimination

Journal of Philosophical Logic

Volumn 26, Issue 6, 1997, Pages 671-696

  Mints, Grigori ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002456360     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1017948105274     Document Type: Article

References (16)

1. Belnap, N. (1982): Display logic, Journal of Philosophical Logic 11: 375-417.
2. Gentzen, G. (1934): Untersuchungen über das logische Schliessen. Mathematische Zeitschrift 39: 176-210, 405-431.
3. Fitting, M. (1983): Proof Methods for Modal and Intuitionistic Logics, D. Reidel, Dordrecht.
4. Kleene, S. C. (1952): Introduction to Metamathematics, Amsterdam, North-Holland.
5. Kleene, S. C. (1952): Two papers on the predicate calculus, Memoirs of the American Mathematical Society 10: 1-66.
6. Kripke, S. (1963): Semantical analysis of modal logic I, Zeitschr. f. math. Logik und Grundl. d. Mathematik 9: 67-96.
7. Kripke, S. (1965): Semantical analysis of intuitionistic logic I. In: Formal Systems and Recursive Functions, North-Holland, Amsterdam, pp. 92-130.
8. Hughes, G. and Kresswell, M. (1972): An Introduction to Modal Logic, Methuen, The Hague.
9. Mints, G. (1992): A Short Introduction to Modal Logic. Center for the Study of Language and Information, Stanford, 91 p.
10. Mints, G. (1992): Selected Papers in Proof Theory, Bibliopolis, Napoli, Italia and North-Holland, Amsterdam.
11. Mints, G. (1971): On some calculi of modal logic. Proc. Steklov Inst. of Mathematics 98: 97-122.
12. Mints, G. (1992): Lewis systems and the system T. In: Mints, G. Selected Papers in Proof Theory. North-Holland-Bibliopolis, pp. 221-294 (Russian Original 1974).
13. Mints, G. (1983): Review of Belnap 1982. Referativnyi Zhurnal Matematika, 5A64.
14. Ohlbach, H. (1991): Semantic-based translation methods for modal logics, J. Logic and Computation 1(5): 691-746.
15. Wallen, L. (1990): Automated Deduction in Non-classical Logics, MIT Press, Cambridge, Mass.
16. Wansing, H. (1994): Modal calculi for normal modal propositional logics, J. Logic and Computation 4(2): 125-142.