论文信息 - Semantic Proof of The Craig Interpolation Theorem for Intuitionistic Logic and Extensions. Part I - 字舞流文

Semantic Proof of The Craig Interpolation Theorem for Intuitionistic Logic and Extensions. Part I

[1] Kurt Schütte. Der Interpolationssatz der intuitionistischen Prädikatenlogik , 1962 .

[2] Takashi Nagashima,et al. An Extension of the Craig-Schütte Interpolation Theorem , 1966 .

[3] Richmond H. Thomason,et al. On the strong semantical completeness of the intuitionistic predicate calculus , 1968, Journal of Symbolic Logic.

[4] Dov M. Gabbay. Applications of Trees to Intermediate Logics , 1972, J. Symb. Log..

[5] D. Gabbay. Model Theory for Intuitionistic Logic , 1972 .