Many-valuedness Meets Bivalence: Using Logical Values in an Effective Way
Carlos Caleiro and Joao Marcos
In spite of the multiplication of truth-values, a noticeable shade of bivalence lurks behind the canonical notion of entailment that many-valued logics inherit from the 2-valued case. Can this bivalence be somehow used to our advantage? The present note briefly surveys the progress made in the last three decades toward making that theme precise from an abstract point of view, with emphasis on the most recent work on effectively extracting useful procedures from it, and illustrating some of its applications to the domains of semantics and proof-theory.
Keywords: Many-valuedness, truth-functionality, bivalence, formal semantics, proof theory, tableaux.