Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau

Annals of the Japan Association for Philosophy of Science 7 (1):47-56 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.7.47

Links

PhilArchive



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

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

Valid Sequents in Many-Valued Logics.Mitio Takano - 1980 - Annals of the Japan Association for Philosophy of Science 5 (5):245-260.
Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order.Mitio Takano - 1988 - Annals of the Japan Association for Philosophy of Science 7 (3):117-123.
Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol.Kokio Shirai - 1971 - Annals of the Japan Association for Philosophy of Science 4 (1):49-67.
Intuitionistic Version of the Los-Tarski-Robinson Theorem.Kokio Shirai - 1975 - Annals of the Japan Association for Philosophy of Science 4 (5):323-332.
Many‐Valued, Free, and Intuitionistic Logics.Richard Grandy - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 531–544.
Type Theory and the Theory of Meaning: Towards an Intuitionistic View of Language.Hirofumi Saito - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):113-121.
Continuous ^|^lambda;-^|^epsilon; Logics.Moto-O. Takahashi - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):205-215.
Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic.Mitsuhiro Okada - 2008 - Annals of the Japan Association for Philosophy of Science 16 (1-2):1-17.
Neutrosophic logics: prospects and problems.Umberto Rivieccio - 2008 - Fuzzy Sets and Systems 159 (14):1860-1868.
Many-valued hybrid logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-132.

Analytics

Added to PP
2016-06-30

Downloads
6 (#711,559)

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