Toshio Umezawa. On logics intermediate between intuitionistic and classical predicate logic. The journal of symbolic logic, vol. 24 no. 2 , pp. 141–153

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271380

Links

PhilArchive



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

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: Toshio Umezawa, On Logics Intermediate Between Intuitionistic and Classical Predicate Logic. [REVIEW]A. S. Troelstra - 1968 - Journal of Symbolic Logic 33 (4):607-607.
On logics intermediate between intuitionistic and classical predicate logic.Toshio Umezawa - 1959 - Journal of Symbolic Logic 24 (2):141-153.
Review: A. S. Troelstra, On Intermediate Propositional Logics. [REVIEW]Toshio Umezawa - 1968 - Journal of Symbolic Logic 33 (4):607-607.
On Intermediate Propositional Logics.Toshio Umezawa - 1960 - Journal of Symbolic Logic 25 (2):180-180.
On an Application of Intermediate Logics.Toshio Umezawa - 1960 - Journal of Symbolic Logic 25 (3):298-298.
On intermediate propositional logics.Toshio Umezawa - 1959 - Journal of Symbolic Logic 24 (1):20-36.
On Some Properties of Intermediate Logics.Toshio Umezawa - 1960 - Journal of Symbolic Logic 25 (3):297-298.
On Intermediate Many-valued Logics.Toshio Umezawa - 1959 - Journal of Symbolic Logic 24 (3):250-250.
Glivenko type theorems for intuitionistic modal logics.Guram Bezhanishvili - 2001 - Studia Logica 67 (1):89-109.
Completeness and incompleteness for intuitionistic logic.Charles Mccarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
Umezawa Toshio. On intermediate propositional logics. Ebd., Bd. 24 Nr. 1 , S. 20–36.W. Ackermann - 1960 - Journal of Symbolic Logic 25 (2):180-180.
Troelstra A. S.. On intermediate propositional logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 68 , pp. 141–152; also Indagationes mathematicae, vol. 27 , pp. 141–152. [REVIEW]Toshio Umezawa - 1969 - Journal of Symbolic Logic 33 (4):607-607.
Review: Toshio Umezawa, On Intermediate Many-valued Logics. [REVIEW]W. Ackermann - 1959 - Journal of Symbolic Logic 24 (3):250-250.
Review: Toshio Umezawa, On Intermediate Propositional Logics. [REVIEW]W. Ackermann - 1960 - Journal of Symbolic Logic 25 (2):180-180.
Review: Toshio Umezawa, On an Application of Intermediate Logics. [REVIEW]Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (3):298-298.

Analytics

Added to PP
2016-06-30

Downloads
22 (#669,532)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anne Troelstra
Last affiliation: University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references