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)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,098

External links

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

Through your library

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.
Validity in Simple Partial Logic.Daisuke Kachi - 2002 - Annals of the Japan Association for Philosophy of Science 10 (4):139-153.
Valid Sequents in Many-Valued Logics.Mitio Takano - 1980 - Annals of the Japan Association for Philosophy of Science 5 (5):245-260.

Analytics

Added to PP
2014-04-07

Downloads
32 (#571,784)

6 months
5 (#933,608)

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