Semantic proof of craig's interpolation theorem for intuitionistic logic and extensions, part II

Keyphrases

• Intuitionistic Logic 100%
• Craig Interpolation Theorem 100%
• Semantic Proof 100%
• Intuitionistic 66%
• Classical Theory 33%
• Universal Quantifier 33%
• Strong Form 33%
• Robinson 33%
• Predicate Calculus 33%
• Classical Propositional Logic 33%
• Consistency Statement 33%

Computer Science

• Extension Part 100%
• Intuitionistic Logic 100%
• Classical Theory 33%
• Predicate Calculus 33%

Mathematics

• Intuitionistic Logic 100%
• Calculus 33%
• Classical Theory 33%
• Strong Form 33%