scientific article; zbMATH DE number 910750

zbMATH Open0855.03031MaRDI QIDQ4885912FDOQ4885912

Authors:

Publication date: 9 February 1997

Title of this publication is not available (Why is that?)

Recommendations

• Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
• scientific article; zbMATH DE number 1931663
• Craig interpolation in displayable logics
• Harmonious logic: Craig's interpolation theorem and its descendants
• Interpolation via translations

zbMATH Keywords

interpolation theoremlogical graphschematic regular proof systems

Mathematics Subject Classification ID

Classical first-order logic (03B10) Structure of proofs (03F07)

Cited In (5)

• Craig interpolation in the presence of unreliable connectives
• Preservation of Craig interpolation by the product of matrix logics
• Interpolation via translations
• Craig interpolation for networks of sentences
• Interpolants, cut elimination and flow graphs for the propositional calculus

This page was built for publication:

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