On interpolation when function symbols are present

DOI10.1007/BF02276803zbMath0339.02011MaRDI QIDQ4106157

Walter Felscher

Publication date: 1976

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137917

Mathematics Subject Classification ID

Classical first-order logic (03B10) Other infinitary logic (03C75) General logic (03B99) Intermediate logics (03B55)

Related Items (1)

Interpolation formulae for predicates and terms which carry their own history

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• An interpolation theorem for denumerably long formulas
• An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem
• Infinitary logic and admissible sets

This page was built for publication: On interpolation when function symbols are present