scientific article
From MaRDI portal
Publication:4010362
zbMath0757.03018MaRDI QIDQ4010362
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
forcingKripke modelsconstructive modelsrealizability interpretationsfallible Beth modelsBeth semanticstruth-value of realizability
Topoi (18B25) Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55)
Related Items (4)
Constructive Game Logic ⋮ Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels ⋮ Generalizing realizability and Heyting models for constructive set theory ⋮ Constructive hybrid games
This page was built for publication:
