Classic-Like Analytic Tableaux for Finite-Valued Logics.

Carlos Caleiro, Joo Marcos

Browse the full WoLLIC paper archive.