An Addition to “Cut Elimination in ϵ‐Calculi”

Mathematical Logic Quarterly 35 (6):483-484 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350603

Other Versions

reprint Yasuhara, Mitsuru (1989) "An Addition to “Cut Elimination in ε-Calculi”". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35(6):483-484

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,341

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Cut Elimination in ε‐Calculi.Mitsuru Yasuhara - 1982 - Mathematical Logic Quarterly 28 (20-21):311-316.
Cut Elimination in ε‐Calculi.Mitsuru Yasuhara - 1982 - Mathematical Logic Quarterly 28 (20‐21):311-316.
New sequent calculi for Visser's Formal Propositional Logic.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (5):525.
Intuitionistic ε- and τ-calculi.David DeVidi - 1995 - Mathematical Logic Quarterly 41 (4):523-546.
Cut elimination for propositional dynamic logic without.Robert A. Bull - 1992 - Mathematical Logic Quarterly 38 (1):85-100.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
Hypersequent Calculi for S5: The Methods of Cut Elimination.Kaja Bednarska & Andrzej Indrzejczak - 2015 - Logic and Logical Philosophy 24 (3):277–311.
Modal Tree‐Sequents.Claudio Cerrato - 1996 - Mathematical Logic Quarterly 42 (1):197-210.
Tautology Elimination, Cut Elimination, and S5.Andrezj Indrzejczak - 2017 - Logic and Logical Philosophy 26 (4):461-471.
Tautology Elimination, Cut Elimination, and S5.Andrzej Indrzejczak - 2017 - Logic and Logical Philosophy 26 (4):461-471.

Analytics

Added to PP
2013-12-01

Downloads
22 (#1,061,775)

6 months
2 (#1,367,529)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Mathematical logic and Hilbert's & symbol.A. C. Leisenring - 1969 - London,: Macdonald Technical & Scientific.

Add more references