论文信息 - On interpolation when function symbols are present - 字舞流文

On interpolation when function symbols are present

Walter Felscher | Walter Felscher

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

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

[3] S. Feferman. Lectures on proof theory , 1968 .

[4] Haskell B. Curry,et al. Foundations of Mathematical Logic , 1964 .

[5] William Craig,et al. Linear reasoning. A new form of the Herbrand-Gentzen theorem , 1957, Journal of Symbolic Logic.

[6] K. Jon Barwise,et al. Infinitary logic and admissible sets , 1969, Journal of Symbolic Logic.

[7] E. López-Escobar. An interpolation theorem for denumerably long formulas , 1965 .

[8] William Craig,et al. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory , 1957, Journal of Symbolic Logic.