Andreia. Demorou um pouquinho mas acho que entendi seus jogos de palavras. É o tipo de trocadilho que meu filho de 12 anos faz :)
Pequins Marcelo 2017-10-24 20:48 GMT-02:00 Andrea Loparic <[email protected]>: > 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ê recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em https://groups.google.com/a/ > dimap.ufrn.br/group/logica-l/. > Para ver essa 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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACHAqBmf%2BtauDjypWfOL%2B5jg0Eg%3D%3D9F5oFHZ2HHbmxJRJ9Xkqw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger -- 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/CABqmzx0agJUPdhoUH8gb3qyTb0CHUFZqq6VD%2BPA6MBGLBnnt_g%40mail.gmail.com.
