Hanazawa M.. A characterization of axiom schema playing the rôle of tertium non datur ir intuitionistic logic. Proceedings of the Japan Academy, vol. 42 , pp. 1007–1010 [Book Review]

Journal of Symbolic Logic 33 (4):607-608 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271382

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

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

Review: M. Hanazaw, A Characterization of Axiom Schema Playing the Role of Tertium non Datur ir Intuitionistic Logic. [REVIEW]Toshio Umezawa - 1968 - Journal of Symbolic Logic 33 (4):607-608.
A Characterization of Axiom Schema Playing the Role of Tertium non Datur ir Intuitionistic Logic.M. Hanazaw - 1968 - Journal of Symbolic Logic 33 (4):607-608.
„existence” And „tertium Non Datur”.Virgil DrĂghici - 2004 - Studia Philosophica 1.
Umezawa Toshio. On some properties of intermediate logics. Proceedings of the Japan Academy, vol. 35 , pp. 575–577.Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (3):297-298.
Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930.Christian Thiel - 1988 - History and Philosophy of Logic 9 (1):67-75.
Completeness and incompleteness for intuitionistic logic.Charles Mccarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
Tertium Datur. Historical Preconditions and Ways to Mitterer's Non-dualizing Philosophy.P. Weibel - 2008 - Constructivist Foundations 3 (3):134-139.
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
A common axiom set for classical and intuitionistic plane geometry.Melinda Lombard & Richard Vesley - 1998 - Annals of Pure and Applied Logic 95 (1-3):229-255.
Widerspruchsfreier aufbau der logik I: Typenfreies system ohne tertium non datur.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (1):33-57.
A Propósito de la Nota del Dr. Pi Calleja. Sobre Paradojas Lógicas y Principio del Tertium non Datur.B. Levi - 1952 - Journal of Symbolic Logic 17 (3):200-201.
Finiteness Axioms on Fragments of Intuitionistic Set Theory.Riccardo Camerlo - 2007 - Notre Dame Journal of Formal Logic 48 (4):473-488.
Ackermann Wilhelm. Widerspruchsfreier Aufbau der Logik I. Typenfreies System ohne tertium non datur. [REVIEW]J. Barkely Rosser - 1951 - Journal of Symbolic Logic 16 (1):72-72.
∈ I : An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity.Steffen Lewitzka - 2009 - Notre Dame Journal of Formal Logic 50 (3):275-301.

Analytics

Added to PP
2016-06-30

Downloads
19 (#792,513)

6 months
8 (#350,331)

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

No references found.

Add more references