scientific article; zbMATH DE number 65751
From MaRDI portal
Publication:4010362
zbMATH Open0757.03018MaRDI QIDQ4010362FDOQ4010362
Authors: James Lipton 
Publication date: 27 September 1992
Title of this publication is not available (Why is that?)
Recommendations
- Kripke semantics for dependent type theory and realizability interpretations
- scientific article; zbMATH DE number 4081553
- scientific article; zbMATH DE number 1215498
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
- scientific article; zbMATH DE number 4093448
forcingKripke modelsconstructive modelsrealizability interpretationsfallible Beth modelsBeth semanticstruth-value of realizability
Metamathematics of constructive systems (03F50) Topoi (18B25) Intuitionistic mathematics (03F55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Cited In (14)
- Constructive game logic
- Implicit Kripke semantics and ultraproducts in stratified institutions
- Connecting formal semantics to constructive intuitions
- Kripke semantics for dependent type theory and realizability interpretations
- Intuitive counterexamples for constructive fallacies
- Title not available (Why is that?)
- Realizability semantics of the early period of Markov's constructivism (history and problems)
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
- A Classical Realizability Model for a Semantical Value Restriction
- Title not available (Why is that?)
- Introducing reactive Kripke semantics and arc accessibility
- Reactive Kripke models and contrary to duty obligations. Part A: Semantics
- Generalizing realizability and Heyting models for constructive set theory
- Constructive hybrid games
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4010362)
