1 paper · 1 filter
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…