Semantic interpolation
Dov Gabbay (LIF), Karl Schlechta (LIF)

TL;DR
This paper explores the concept of semantic interpolation across different logical systems, aiming to understand how intermediate formulas can be constructed.
Contribution
It introduces a unified approach to semantic interpolation applicable to various logics, extending previous work in the field.
Findings
Interpolation exists for multiple logics.
A general framework for semantic interpolation is proposed.
The approach simplifies understanding logical relationships.
Abstract
We treat interpolation for various logics.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNatural Language Processing Techniques · Logic, programming, and type systems · Advanced Algebra and Logic
