Systematization of the finite many-valued logics through the method of tableaux (1987)

by Walter A Carnielli
Venue:The Journal of Symbolic Logic