Obrigado pelas referências. Mas, de novo, Walter Carnielli em um artigo seu mostrou que para as lógicas multi-valentes é mais útil primeiro pensar na sua semântica e depois entrar na sintaxe. Como eu não me lembro do nome do artigo, não posso evocar os detalhes exatos neste momento.
Em 15 de outubro de 2011 14:25, jean-yves beziau <[email protected]>escreveu: > Quero apontar que apesar do teorema do Dugundji > logica modal polivalente e um assunto muito interessante > desenvolvi um trabalho nessa direcao esses ultimos anos: > > *J.-Y.Béziau, “A new four-valued approach to modal > logic<http://www.jyb-logic.org/papers/la4.pdf> > ”, Logique et Analyse 54 (2011).* > > O Nicholas Rescher tive algumas ideias parecidas mas nao desenvolveu muito, > ver N.Rescher, 1965, ``An intuitive interpretation of systems of > four-valued logic'', > Notre Dame Journal of Formal Logic 6, 154--156. > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
