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