Semantical Analysis of Intuitionistic Logic I

@article{Kripke1965SemanticalAO,
  title={Semantical Analysis of Intuitionistic Logic I},
  author={S. Kripke},
  journal={Studies in logic and the foundations of mathematics},
  year={1965},
  volume={40},
  pages={92-130}
}
  • S. Kripke
  • Published 1965
  • Mathematics
  • Studies in logic and the foundations of mathematics
Publisher Summary The chapter discusses a semantical analysis of intuitionistic logic I. The chapter presents a semantical model theory for Heyting's intuitionist predicate logic and proves the completeness of that system relative to the modeling. The semantics for modal logic that is announced and developed together with the known mappings of intuitionistic logic into the modal system, S4, inspired the present semantics for intuitionist logic. It is important to develop the semantics of… Expand
540 Citations
A Semantic Hierarchy for Intuitionistic Logic
  • 12
  • Highly Influenced
On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus
  • R. Thomason
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1968
  • 43
The proof theory and semantics of intuitionistic modal logic
  • 385
  • PDF
Kripke semantics and proof systems for combining intuitionistic logic and classical logic
  • 11
  • PDF
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 27 (40) 2012
  • Highly Influenced
Towards a Logic for Pragmatics. Assertions and Conjectures
  • 29
COMMENTS ON THE LOGIC OF CONSTRUCTIBLE
  • 1
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-7 OF 7 REFERENCES
A Completeness Theorem in Modal Logic
  • S. Kripke
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1959
  • 828
  • PDF
On Weak Completeness of Intuitionistic Predicate Logic
  • G. Kreisel
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1962
  • 131
A Remark on Free Choice Sequences and the Topological Completeness Proofs
  • G. Kreisel
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1958
  • 44
THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS.
  • P. J. Cohen
  • Mathematics, Medicine
  • Proceedings of the National Academy of Sciences of the United States of America
  • 1963
  • 293
  • PDF