A Characterization of Axiom Schema Playing the Role of Tertium non Datur ir Intuitionistic Logic

Journal of Symbolic Logic 33 (4):607-608 (1968)
  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: 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

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.
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. [REVIEW]Toshio Umezawa - 1969 - Journal of Symbolic Logic 33 (4):607-608.
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.
Review: Wilhelm Ackermann, Widerspruchsfreier Aufbau der Logik I. Typenfreies System Ohne Tertium non Datur. [REVIEW]J. Barkley Rosser - 1951 - Journal of Symbolic Logic 16 (1):72-72.
Widerspruchsfreier Aufbau der Logik I. Typenfreies System Ohne Tertium non Datur.Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (1):72-72.
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.
Completeness and incompleteness for intuitionistic logic.Charles Mccarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
Levi B.. A propósito de la Nota del Dr. Pi Calleja. Sobre paradojas lógicas y principio del tertium non datur. Mathematicae notae, vol. 9 , pp. 155–159. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (3):200-201.
Review: M. D. Krol, The Topological Models of Intuitionistic Analysis. One Counterexample; M. D. Krol, A Topological Model for Intuitionistic Analysis with Kripke's Scheme; M. D. Krol', B. F. Wells, Distinct Variants of Kripke's Schema in Intuitionistic Analysis. [REVIEW]Joan Rand Moschovakis - 1981 - Journal of Symbolic Logic 46 (3):660-661.
„existence” And „tertium Non Datur”.Virgil DrĂghici - 2004 - Studia Philosophica 1.

Analytics

Added to PP
2015-02-05

Downloads
4 (#1,013,551)

6 months
4 (#1,635,958)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Jankov‐theorems for some implicational calculi.Biswambhar Pahi - 1975 - Mathematical Logic Quarterly 21 (1):193-198.

Add more citations

References found in this work

No references found.

Add more references