Kripke models and the intuitionistic theory of species

DOI10.1016/0003-4843(76)90008-5zbMath0317.02037OpenAlexW2011898138MaRDI QIDQ4077996

Craig Smorynski, Dick H. J. de Jongh

Publication date: 1976

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(76)90008-5

Mathematics Subject Classification ID

Model theory (03C99) Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items (5)

Glueing of analysis models in an intuitionistic setting ⋮ Intermediate logics and the de Jongh property ⋮ Rules and arithmetics ⋮ How to glue analysis models ⋮ Equivalence between semantics for intuitionism. I

This page was built for publication: Kripke models and the intuitionistic theory of species