DECIDABLE KRIPKE MODELS OF INTUITIONISTIC THEORIES

Authors
ISHIHARA H KHOUSSAINOV B NERODE A
Citation
H. Ishihara et al., DECIDABLE KRIPKE MODELS OF INTUITIONISTIC THEORIES, Annals of pure and applied Logic, 93(1-3), 1998, pp. 115-123
Citations number
14
Categorie Soggetti
Mathematics,Mathematics,Mathematics,Mathematics
Journal title
Annals of pure and applied Logic → ACNP
ISSN journal
01680072
Volume
93
Issue
1-3
Year of publication
1998
Pages
115 - 123
Database
ISI
SICI code
0168-0072(1998)93:1-3<115:DKMOIT>2.0.ZU;2-6
Abstract
In this paper we introduce effectiveness into model theory of intuitio nistic logic. The main result shows that any computable theory T of in tuitionistic predicate logic has a Kripke model with decidable forcing such that for any sentence phi, phi is forced in the model if and onl y if phi is intuitionistically deducible from T. (C) 1998 Published by Elsevier Science B.V. All rights reserved.