Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order

Annals of the Japan Association for Philosophy of Science 7 (3):117-123 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.7.117

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau.Mitio Takano - 1986 - Annals of the Japan Association for Philosophy of Science 7 (1):47-56.
A cut-elimination proof in intuitionistic predicate logic.Mirjana Borisavljević - 1999 - Annals of Pure and Applied Logic 99 (1-3):105-136.
Cut-eliminability in Second Order Logic Calculus.Toshiyasu Arai - 2018 - Annals of the Japan Association for Philosophy of Science 27:45-60.
Sufficient conditions for cut elimination with complexity analysis.João Rasga - 2007 - Annals of Pure and Applied Logic 149 (1-3):81-99.
Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Sh^|^Ocirc Maehara & Ji - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Shôji Maehara - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
Maehara Shôji. Cut-elimination theorem concerning a formal system for ramified theory of types which admits quantifications on types. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 2 , pp. 55–64. [REVIEW]Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (2):325-325.
Valid Sequents in Many-Valued Logics.Mitio Takano - 1980 - Annals of the Japan Association for Philosophy of Science 5 (5):245-260.
Validity in Simple Partial Logic.Daisuke Kachi - 2002 - Annals of the Japan Association for Philosophy of Science 10 (4):139-153.
Hypersequents and the proof theory of intuitionistic fuzzy logic.Matthias Baaz & Richard Zach - 2000 - In Clote Peter G. & Schwichtenberg Helmut (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Springer. pp. 187– 201.

Analytics

Added to PP
2014-04-07

Downloads
27 (#142,020)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Subformula property in many-valued modal logics.Mitio Takano - 1994 - Journal of Symbolic Logic 59 (4):1263-1273.

Add more citations

References found in this work

No references found.

Add more references