Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach

DOI10.1007/BF01881546zbMath0617.03008OpenAlexW2000897924MaRDI QIDQ1821770

Hiroakira Ono

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01881546

zbMATH Keywords

intuitionistic logicintuitionistic predicate logicintermediate logicjoint consistencyRobinson's theoremintermediate propositional logicsCraig's interpolationinseparable pair of theoriesinseparable theoriessemantical proof

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items

On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge

Cites Work

• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Interpolation properties of superintuitionistic logics
• Semantical investigations in Heyting's intuitionistic logic
• A study of intermediate predicate logics
• Model existence theorems for modal and intuitionistic logics
• A Lemma which Distinguishes Minimal Logics from Other Logics
• An extension of the Craig-Lyndon interpolation theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach