Caros, Aproveitando o trend legal sobre o intuicionismo, venho lembrar, para os mais novos especialmente, que, com base em semânticas de valorações bivalentes corretas e completas que obtive outrora, para os cálculos proposicionais minimal (Johanssen-Kolmogoroff) e intucionista (Heyting), meu filho computeiro Marko Loparic e eu fizemos juntos um programinha em Python que constroi e exibe tabelas de verdade generalizadas para testar a validade de fórmulas em cada um desses dois cálculos. O artigo com a semântica foi publicado pelo Décio, a quem peço a gentileza de me mandar novamente a referência, pois, aos 76, acho-me somezeimerada ( por enquanto, pelo menos, não é All) . O programinha, desde 2009, está disponivel para uso de quem quiser na URL
http://www.paralogics.net/tableaux/minimal_intuitionism/ Obs: O programa só reconhece como fórmulas as que vêm na notação especificada na introdução, a saber, aquelas cujo vocabulário é composto por minúsculas, ~, &, | , > = e parêntesis (para os conectivos binários). No mais, reitero o convite para saborearem meu bolo de rolo, garantindo que, nessa modalidade, estou ainda nozeimerada. Beijins ( ou seriam pequins?) Andrea -- 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/CACHAqBmf%2BtauDjypWfOL%2B5jg0Eg%3D%3D9F5oFHZ2HHbmxJRJ9Xkqw%40mail.gmail.com.
