Prezados: estou procurando informação sobre artigos ou livros versados em
completude (completitude?) funcional de matrizes. Alguém tem uma dica confiável
para me dar?
Em particular, queria saber QUAL das lógicas de Lukasiewicz não é
funcionalmente completa. L3? L_{\aleph_0}? L_{\aleph_1}? Alguma outra?
Finalmente: alguém sabe se é possível obter JÁ TRADUZIDO AO INGLÊS um artigo
muito antigo de J. Slupecki sobre estes tópicos? Concretamente: estou
procurando este artigo: J. Slupecki. A criterion of fullness of many-valued
systems of propositional logic. Comptes rendus des séances de la Societé des
Sciences et de Lettres de Varsovie. Vol. 32 (1939). pp. 102-109. O artigo
original está escrito em polonês.
Muito obrigado por qualquer ajuda!!!
Victor Fernández
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
