- 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 Jekeri Okee
6 found
Order:
- A species-algebraic interpretation of the intuitionistic propositional calculus.Jekeri Okee - 1976 - Notre Dame Journal of Formal Logic 17 (2):222-232.
- A semantical proof of the undecidability of the monadic intuitionistic predicate calculus of the first order.Jekeri Okee - 1975 - Notre Dame Journal of Formal Logic 16 (4):552-554.
- Completeness of the algebra of species.Jekeri Okee - 1976 - Notre Dame Journal of Formal Logic 17 (3):392-394.
- On the independence of the fundamental operations of the algebra of species.Jekeri Okee - 1976 - Notre Dame Journal of Formal Logic 17 (4):526-530.
- Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1‐3):37-48.
- Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1-3):37-48.No categories
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-68866f4b87-zhzfn uwo