ISSN:
1572-8730
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Mathematik
,
Philosophie
Notizen:
Abstract A semantical proof of Craig's interpolation theorem for the intuitionistic predicate logic and some intermediate prepositional logics will be given. Our proof is an extension of Henkin's method developed in [4]. It will clarify the relation between the interpolation theorem and Robinson's consistency theorem for these logics and will enable us to give a uniform way of proving the interpolation theorem for them.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1007/BF01881546