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