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