Quentin Blomet

collaborators

Showing math.LOShow all

3 papers · 1 filter

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 $L_{1}$ and $L_{2}$ 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 $ST$ -valid inferences is neither the intersection, nor the union of the sets of $K_{3}$ - and $LP$ -valid inferences, but despite the proximity to…