Many-valuedness meets bivalence: Using logical values in an effective way

Por • 21 mar, 2022 • Sección: Educacion

Carlos Caleiro, 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.

Key words: Many-valuedness, truth-functionality, bivalence, formal semantics, proof theory, tableaux.

Carlos Caleiro 1, Joao Marcos 2†

 1 SQIG-Instituto de Telecomunicac¸oes, and Dept. Mathematics, IST, TU-Lisbon ˜

 2 LoLITA and DIMAp, UFRN, and Institut fur Computersprachen E1852, TU-Wien ¨

Post to Twitter

Escribe un comentario