Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.

Marco Volpe, Joo Marcos, Carlos Caleiro

Browse the full WoLLIC paper archive.