Re: [Logica-l] A MODAL SEMANTICS FOR PARACONSISTENT LOGIC, TOPOLOGICAL POINT OF VIEW

2012-04-28 Por tôpico Tony Marmo
Caro João, Conclui a leitura, exceto pela discussão filosófica ao final. Mas, preciso registrar uma certa inquietação: acho que não precisava dizer que essas modalidades seriam não normais. Pois veja, primeiro você definiu acidente por meio de uma relação de acessibilidade. Segundo, na proposição

Re: [Logica-l] A MODAL SEMANTICS FOR PARACONSISTENT LOGIC, TOPOLOGICAL POINT OF VIEW

2012-04-28 Por tôpico Joao Marcos
Olá, Tony: Agradeço a leitura cuidadosa do artigo, e os comentários. Antes de mais nada, pediram-me off-list uma referência para o artigo que está sendo discutido. Aqui segue: http://www.filozof.uni.lodz.pl/bulletin/pdf/34_1_6.pdf > Conclui a leitura, exceto pela discussão filosófica ao final.

[Logica-l] mais Vardi sobre novos modelos de publicacoes...

2012-04-28 Por tôpico Valeria de Paiva
http://www.cs.rice.edu/~vardi/newmodel.txt -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] [off : humor] computação quântica

2012-04-28 Por tôpico Joao Marcos
http://dilbert.com/strips/comic/2012-04-17/ JM ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] [off : humor] computação quântica

2012-04-28 Por tôpico Décio Krause
Ah Ah é bem isso. Boa JM. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 28/04/