Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics

Carlos Caleiro, João Marcos 0001, Marco Volpe. Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theoretical Computer Science, 603:84-110, 2015. [doi]

Abstract

Abstract is missing.