- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by T. Umezawa
14 found
Order:
Disambiguations
Disambiguations:
| Toshio Umezawa [15] | T. Umezawa [6] |
- On logics intermediate between intuitionistic and classical predicate logic.Toshio Umezawa - 1959 - Journal of Symbolic Logic 24 (2):141-153.
- On intermediate propositional logics.Toshio Umezawa - 1959 - Journal of Symbolic Logic 24 (1):20-36.
- C. G. McKay. The decidability of certain intermediate propositional logics. The journal of symbolic logic, vol. 33 , pp. 258–264.T. Umezawa - 1971 - Journal of Symbolic Logic 36 (2):330-331.
- Kigō ronri.Toshio Umezawa - 1970No categoriesExport citation
Bookmark - Selected Works of Giuseppe PeanoHubert C. Kennedy.Toshio Umezawa - 1975 - Isis 66 (1):144-144.No categories
- 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.
- McKay C. G.. The non-separability of a certain finite extension of Heyting's propositional logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 71 , pp. 312–315; also Indagationes mathematica«, vol. 30 , pp. 312–315. [REVIEW]T. Umezawa - 1971 - Journal of Symbolic Logic 36 (2):331-331.
- McKay C. G.. On 'finite logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 70 , pp. 363–365; also Indagationes mathematicae, vol. 29 , pp. 363–365. [REVIEW]T. Umezawa - 1971 - Journal of Symbolic Logic 36 (2):330-330.
- Review: A. S. Troelstra, On Intermediate Propositional Logics. [REVIEW]Toshio Umezawa - 1968 - Journal of Symbolic Logic 33 (4):607-607.
- Review: C. G. McKay, On Finite Logics. [REVIEW]T. Umezawa - 1971 - Journal of Symbolic Logic 36 (2):330-330.
- Review: C. G. McKay, The Decidability of Certain Intermediate Propositional Logics. [REVIEW]T. Umezawa - 1971 - Journal of Symbolic Logic 36 (2):330-331.
- Review: C. G. McKay, The Non-Separability of a Certain Finite Extension of Heyting's Propositional Logic. [REVIEW]T. Umezawa - 1971 - Journal of Symbolic Logic 36 (2):331-331.
- 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.
- 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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-kkm7k uwo