Semantic interpolation

2009/06/22 by Dov Gabbay, Gabbay, Dov, Karl Schlechta +1
Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems #Natural Language Processing Techniques

paper · pdf · doi:10.48550/arxiv.0906.4082

openalex publication_date 2009/06/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We treat interpolation for various logics.

Related

• Interpolation in many valued predicate logics using algebraic logic
• Interpolation in Non-Classical Logics
• Interpolation in Knowledge Representation
• Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
• Revisiting Interpolation in Relevant Logics