completeza
Em 24 de maio de 2012 08:51, victor leandro fernandez
<[email protected]>escreveu:
> 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
>
--
Antônio Carlos da Rocha Costa - C3/PPGComp/PPGMC/FURG
Centro de Ciências Computacionais
Prog. Pós-grad. em Computação
Prog. Pós-grad. Modelagem Computacional
Universidade Federal do Rio Grande
96.201-900 Rio Grande, RS, Brasil.
http://www.rocha.c3.furg.br <http://rocha.c3.furg.br>
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
