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

Carlos Caleiro, João Marcos, Marco Volpe

The paper is a contribution both to the theoretical foundations and to the actual construction of efficient automatizable proof procedures for non-classical logics. We focus here o…