Semantical Analysis of Intuitionistic Logic I

In Michael Dummett & J. N. Crossley, Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270547

Other Versions

edition Kripke, Saul A.; Crossley, J. N.; E. Dummett, M. A. (1970) "Semantical Analysis of Intuitionistic Logic I". Journal of Symbolic Logic 35(2):330-332

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,667

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

Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 92–130. [REVIEW]G. Kreisel - 1970 - Journal of Symbolic Logic 35 (2):330-332.
Some applications of Kripke models to formal systems of intuitionistic analysis.Scott Weinstein - 1979 - Annals of Mathematical Logic 16 (1):1.
Formal Systems and Recursive Functions. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):161-162.
Saul A. Kripke. Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 67–96. [REVIEW]David Kaplan - 1966 - Journal of Symbolic Logic 31 (1):120-122.
Formal Systems and Recursive Functions.Michael Dummett & J. N. Crossley (eds.) - 1963 - Amsterdam,: North Holland.
Formal Systems and Recursive Functions Proceedings of the Eighth Logic Colloquium, Oxford, July 1963.John N. Logic Colloquium, Michael A. E. Crossley, Dummett & Association for Symbolic Logic - 1965 - North-Holland.
The Logic of Interrogatives.M. J. Cresswell - 1965 - In John N. Crossley & Michael A. E. Dummett, Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloquium Oxford, July 1963. North-Holland. pp. 8--11.

Analytics

Added to PP
2010-02-06

Downloads
417 (#73,180)

6 months
23 (#132,604)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Saul Kripke
Last affiliation: CUNY Graduate Center

Citations of this work

Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
An investigation of the lumps of thought.Angelika Kratzer - 1989 - Linguistics and Philosophy 12 (5):607 - 653.
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
Updating Data Semantics.Anthony S. Gillies - 2020 - Mind 129 (513):1-41.
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.

View all 105 citations / Add more citations

References found in this work

No references found.

Add more references