Score: 0
Revisiting Interpolation in Relevant Logics
Published: November 27, 2025 |
arXiv ID: 2511.22495v1
By: Wesley Fussner, Andrew Tedder
Potential Business Impact:
Finds new ways to make logic puzzles work better.
Business Areas:
A/B Testing
Data and Analytics
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.
Similar Papers
90%
Interpolation in Non-Classical Logics
Logic
Makes computers understand tricky logic rules.
1 Dec 2025
0
87%
Interpolation in Classical Propositional Logic
Logic in Computer Science
Helps computers understand logic puzzles better.
15 Aug 2025
0
86%
From Interpolating Formulas to Separating Languages and Back Again
Logic in Computer Science
Finds common ground between different computer languages.
18 Aug 2025
0