On interpolation when function symbols are present

DOI10.1007/BF02276803MaRDI QIDQ4106157zbMATH OpenFDO

Authors 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) Intermediate logics (03B55) Other infinitary logic (03C75) General logic (03B99)

Cites work

• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3332523 (Why is no real title available?)
• scientific article; zbMATH DE number 3199779 (Why is no real title available?)
• An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem
• An interpolation theorem for denumerably long formulas
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Infinitary logic and admissible sets
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(1)

• Interpolation formulae for predicates and terms which carry their own history

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4106157)