Equality and lyndon's interpolation theorem

DOI10.2307/2274095zbMath0574.03014OpenAlexW2160331395MaRDI QIDQ3691642

Nobuyoshi Motohashi

Publication date: 1984

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

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

zbMATH Keywords

Lyndon interpolation theoremfirst-order intuitionistic calculuslogic without equality

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Interpolation, preservation, definability (03C40) Basic properties of first-order languages and structures (03C07) Other classical first-order model theory (03C68)

Related Items

Effective Interpolation and Preservation in Guarded Logics ⋮ Generators, indecomposables and free algebras ⋮ Craig interpolation with clausal first-order tableaux ⋮ Interpolation and Symbol Elimination

Cites Work

• Unnamed Item
• An interpolation theorem in the predicate calculus
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Remarks on identity and description in first-order axiom systems
• Proof theory