An extension of the Craig-Lyndon interpolation theorem

DOI10.2307/2271066zbMath0219.02006OpenAlexW2059096271MaRDI QIDQ5623651

Leon Henkin

Publication date: 1964

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271066

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40)

Related Items (13)

Leon Henkin the Reviewer ⋮ Henkin on Completeness ⋮ A cut-free Gentzen-type system for the logic of the weak law of excluded middle ⋮ UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS ⋮ Visions of Henkin ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ The Craig interpolation theorem in abstract model theory ⋮ Interpolation in non-classical logics ⋮ Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach ⋮ In Memoriam: Leon Albert Henkin 1921–2006 ⋮ Leon Henkin ⋮ Amalgamation, congruence-extension, and interpolation properties in algebras ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus

Cites Work

• Unnamed Item
• An interpolation theorem in the predicate calculus
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• The completeness of the first-order functional calculus

This page was built for publication: An extension of the Craig-Lyndon interpolation theorem