Abstract
The main part of the proof of Kripke's completeness theorem for intuitionistic logic is Henkin's construction. We introduce a new Kripke-type semantics with semilattice structures for intuitionistic logic. The completeness theorem for this semantics can he proved without Henkin's construction.
Similar content being viewed by others
References
M. Fitting,Intuitionistic Logic Model Theory und Forcing, North-Holland, Amsterdam, 1969.
Y. Komori,Some results on the super-intuitionistic predicate logics,Reports on Mathematical Logic, 15 (1983), pp. 13–31.
-,Predicate logics without the structure rules (to be submitted to Studia Logica).
T. Nakamura,Disjunction property for some intermediate predicate logics,Reports on Mathematical Logic, 15 (1983), pp. 33–39.
H. Ono,A study of intermediate predicate logics,Publications of the Research Institute for Mathematical Sciences, Kyoto University, 8 (1973), pp. 619–649.
—,Model extension theorem and Craig's interpolation theorem for intermediate predicate logics,Reports on Mathematical Logic, 15 (1983), pp. 41–58.
H. Ono andY. Komori,Logics without the contraction rule,Journal of Sym bolic Logic, 50 (1985), pp. 169–201.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Komori, Y. A new semantics for intuitionistic predicate logic. Stud Logica 45, 9–17 (1986). https://doi.org/10.1007/BF01881545
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01881545