- 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
Semantic Construction of Intuitionistic Logic
Studia Logica 8:326-327 (1958)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Semantic Construction of Intuitionistic Logic.S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):363-365.
Review: E. W. Beth, Semantic Construction of Intuitionistic Logic. [REVIEW]S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):363-365.
The Semantic Completeness of a Global Intuitionistic Logic.Hiroshi Aoyama - 1998 - Mathematical Logic Quarterly 44 (2):167-175.
Beth E. W.. Semantic construction of intuitionistic logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, n.s. vol. 19 no. 11 , pp. 357–388. [REVIEW]S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):363-365.
Semantic Construction of Intuitionistic Logic.Evert Willem Beth - 1956 - Amsterdam, Netherlands: Noord-Hollandsche Uitg. Mij.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
∈ 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.
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
Vagueness and Intuitionistic Logic.Ian Rumfitt - forthcoming - In Alexander Miller (ed.), Language, Logic,and Mathematics: Themes from the Philosophy of Crispin Wright. Oxford University Press.
Intuitionistic Games: Determinacy, Completeness, and Normalization.Paweł Urzyczyn - 2016 - Studia Logica 104 (5):957-1001.
A New Solution to a Problem of Hosoi and Ono.Michael Zakharyaschev - 1994 - Notre Dame Journal of Formal Logic 35 (3):450-457.
Dummett's Views on Intuitionism Logic.Xiao-Ming Ren & Biao Gu - 2007 - Nankai University (Philosophy and Social Sciences) 4:46-51.
Some Obstacles Facing a Semantic Foundation for Constructive Mathematics.Michael R. Koss - 2015 - Erkenntnis 80 (5):1055-1068.
Analytics
Added to PP
2017-02-21
Downloads
0
6 months
0
2017-02-21
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Citations of this work
Eschewing Entities: Outlining a Biology Based Form of Structural Realism.Steven French - 2013 - In Vassilios Karakostas & Dennis Dieks (eds.), Epsa11 Perspectives and Foundational Problems in Philosophy of Science. Springer. pp. 371--381.
The logic of brouwer and heyting.Joan Rand Moschovakis - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 77-125.
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-55b469568f-bzrbm uwo