3 papers
math.LO2025
Reaching Classicality through Transitive Closure
Quentin Blomet, Bruno Da Ré
Recently, arXiv:2312.16035 showed that all logics based on Boolean Normal monotonic three-valued schemes coincide with classical logic when defined using a strict-tolerant standard…
math.LO2025
Split Interpolation: Refining Craig's Theorem via Three-Valued Logics
Quentin Blomet
Which choices of truth tables and consequence relations for two logics and ensure the satisfaction of the following split interpolation property: If t…
math.LO2024
ST and TS as Product and Sum
Quentin Blomet, Paul Égré
The set of -valid inferences is neither the intersection, nor the union of the sets of - and -valid inferences, but despite the proximity to…