Systematization of finite many-valued logics through the method of tableaux - Carnielli, Walter Alexandre 1952- (1985)