Switch to: Citations

References in:

Some applications of Kripke models to formal systems of intuitionistic analysis

Scott Weinstein

Annals of Mathematical Logic 16 (1):1 (1979)

Add references

You must login to add references.

Kripke models and the intuitionistic theory of species.D. H. J. de Jongh - 1976 - Annals of Mathematical Logic 9 (1):157.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 10 citations
On the strong semantical completeness of the intuitionistic predicate calculus.Richmond H. Thomason - 1968 - Journal of Symbolic Logic 33 (1):1-7.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 25 citations
Disjunction and Existence in Formalized Intuitionistic Analysis.J. R. Moschovakis - 1970 - Journal of Symbolic Logic 35 (4):587-588.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Direct download Export citation Bookmark 6 citations
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford July 1963. North Holland. pp. 92-130.details Intuitionistic Logic in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 109 citations
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke, J. N. Crossley & M. A. E. Dummett - 1970 - Journal of Symbolic Logic 35 (2):330-332.details Logic and Philosophy of Logic Direct download Export citation Bookmark 37 citations
Formal systems for some branches of intuitionistic analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 50 citations
Disjunction and existence under implication in elementary intuitionistic formalisms.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (1):11-18.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 22 citations
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis.W. A. Howard & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (3):325-358.details Inductive Skepticism in General Philosophy of Science Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 23 citations
Concerning Formulas of the Types $A rightarrow B vee C, A rightarrow (Ex)B(x)$.Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 16 citations
Concerning formulas of the types a →b ∨c, a →(ex)b(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Direct download (6 more) Export citation Bookmark 32 citations

1