7 citations · 7 across the 4 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2023★ 7 cited
On three-valued presentations of classical logic
Bruno da Ré, Damian Szmuc, Emmanuel Chemla +1
Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logi…
math.LO2018
From Many-Valued Consequence to Many-Valued Connectives
Emmanuel Chemla, Paul Egré
Given a consequence relation in many-valued logic, what connectives can be defined? For instance, does there always exist a conditional operator internalizing the consequence relat…
math.LO2017
Suszko's Problem: Mixed Consequence and Compositionality
Emmanuel Chemla, Paul Egré
Suszko's problem is the problem of finding the minimal number of truth values needed to semantically characterize a syntactic consequence relation. Suszko proved that every Tarskia…