Showing math.LOShow all
3 papers · 1 filter
math.LO2023
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.LO2019
De Finettian Logics of Indicative Conditionals
Paul Egré, Lorenzo Rossi, Jan Sprenger
This paper explores trivalent truth conditions for indicative conditionals, examining the "defective" table put forward by de Finetti 1936, as well as Reichenbach 1944, first sketc…
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…