Craig Interpolation for Subgeometric Logics
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908793888047104 |
|---|---|
| author | Di Liberti, Ivan Ye, Lingyuan |
| author_facet | Di Liberti, Ivan Ye, Lingyuan |
| contents | We show that a vast class of finitary fragments of geometric logic admit a form of Craig interpolation property. In doing so, we provide a new dictionary to import technology from algebraic logic to categorical logic. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_11221 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Craig Interpolation for Subgeometric Logics Di Liberti, Ivan Ye, Lingyuan Logic Category Theory 03G15, 03G27, 03C40, 03B10, 03G30, 18B25, 18C10, 18A15 We show that a vast class of finitary fragments of geometric logic admit a form of Craig interpolation property. In doing so, we provide a new dictionary to import technology from algebraic logic to categorical logic. |
| title | Craig Interpolation for Subgeometric Logics |
| topic | Logic Category Theory 03G15, 03G27, 03C40, 03B10, 03G30, 18B25, 18C10, 18A15 |
| url | https://arxiv.org/abs/2601.11221 |