Caros colegas, acaba de sair um artigo de minha autoria que estende os quebra-cabeças lógicos (logic puzzles) para lógicas nao-clássicas.
Um dos resultados é que o famoso "quebra cabeça mais difícil do mundo; fica mais difícil ainda, mas ainda solúvel. Que eu saiba é a primeira tentativa a respeito em toda a literatura. Como resultado secundário, aceno um pouco à teologia formal : quando abrimos as portas para outras lógicas, os deuses ficam ainda mais poderosos... O artigo saiu num volume dedicado ao Raymond Smullyan. Se alguém se interessar mandarei uma cópia do pre-print em privado Abraços, Walter https://link.springer.com/chapter/10.1007/978-3-319-68732-2_11 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58O%2Bs45uxd165xN2yr3R6UW0zxoVDQo3Vb9gpwSFbPhPXA%40mail.gmail.com.
