Revisiting Interpolation in Relevant Logics
Logic
2025-12-01 v1 Logic in Computer Science
Abstract
There are exactly two maximal schematic extensions of the relevant logic R with the variable sharing property. We establish that one of them has a strong form of interpolation for deducibility, thereby giving an example of a well-known relevant logic with interpolation.
Keywords
Cite
@article{arxiv.2511.22495,
title = {Revisiting Interpolation in Relevant Logics},
author = {Wesley Fussner and Andrew Tedder},
journal= {arXiv preprint arXiv:2511.22495},
year = {2025}
}