Systematization of finite many-valued logics through the method of tableaux - Carnielli, Walter Alexandre 1952- (Instituto de Matemática, Estatística e Ciência da Computação <Campínas, São Paulo>: Relatório interno, 1985)