Semantic Construction of Intuitionistic Logic

Studia Logica 8:326-327 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

  • This entry has no external links. Add one.
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

Semantic Construction of Intuitionistic Logic.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.
Review: E. W. Beth, Semantic Construction of Intuitionistic Logic. [REVIEW]S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):363-365.
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.
Review: E. W. Beth, Remarks on Intuitionistic Logic. [REVIEW]Hans Freudenthal - 1974 - Journal of Symbolic Logic 39 (3):609-609.
Intuitionistic Games: Determinacy, Completeness, and Normalization.Paweł Urzyczyn - 2016 - Studia Logica 104 (5):957-1001.
Review: E. W. Beth, Semantical Considerations on Intuitionistic Mathematics. [REVIEW]S. C. Kleene - 1948 - Journal of Symbolic Logic 13 (3):173-173.
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
Beth E. W.. Symbolische logica . Servire's encyclopaedic, afdeling Logica, D2/5. Servire, The Hague 1950, 63 pp. [REVIEW]Nohman M. Martin - 1952 - Journal of Symbolic Logic 17 (3):208-209.
Beth E. W.. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 15–25. [REVIEW]Hans Freudenthal - 1974 - Journal of Symbolic Logic 39 (3):609-609.

Analytics

Added to PP
2017-02-21

Downloads
0

6 months
0

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

Questions as information types.Ivano Ciardelli - 2018 - Synthese 195 (1):321-365.

Add more citations

References found in this work

No references found.

Add more references