oi Andrea! bom ler voce!!! e bom lembrar que o seus sistemas funcionam. ajuda bastante mesmo! pra ajudar mais, o que o Google me contou sobre os seus papers (que nao custava nada colocar no website do sistema tb, ne?)
mas os links abaixo nao estao todos funcionando, dai que o requerido pra ler sobre o calculo intuicionista 'e https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p125/17985 PARABENS pelos bolos e papers e sistemas! e PARABENS ao Decio por manter Principia no ar. Abracos logicos, Valeria segunda-feira, 12 de março de 2012 Palestras Professora Andrea Loparic <http://filosofiaelogica.blogspot.com/2012/03/palestras-professora-andrea-loparic_12.html> Olá para todos. O grupo de estudos de lógica da FAFICH, com o apoio do Programa de Pós-graduação em Filosofia, retoma suas atividades neste semestre com duas palestras da professora *Andrea Loparic* (USP): *Teoria das valorações* Dia 22 de março, 15h, sala 3019. *Identidade, negação e universos de discurso* Dia 23 de março, 15h, sala 3019. Referências: *Teoria das valorações:* LOPARIC, A. M. A. C. ; da COSTA, N.C.A. Paraconsistency, paracompleteness and valuations. Logique et Analyse, v. 106, p. 119-131, 1984 Disponível em http://dl.dropbox.com/u/5959592/al/loparic.parac.pdf LOPARIC, A. M. A. C. . A semantical study of some propositional calculi. THE JOURNAL OF NON-CLASSICAL LOGIC, v. III, p. 74-95, 1986. LOPARIC, A. M. A. C. . The method of valuations in modal logic. In: First Brazilian Conference, 1977, New York. Proceedings First Brazilian Conference. New York : Marcel Dekker Inc., 1977. Disponível em http://dl.dropbox.com/u/5959592/al/met.valuations.pdf LOPARIC, A. M. A. C. 'Valuation semantics for intuitionistic propositional calculus and some of its subcalculi' in Principia, http://www.cfh.ufsc.br/~principi/p141-8.pdf *Identidade, negação e universos de discurso* LOPARIC, A. M. A. C.. 'Lacan avec les Philosophes' in "Bibliotheque du College International de Philosophie" ed. Alban Michel, Disponível em http://dl.dropbox.com/u/5959592/al/A.Loparic.Identite.negation.pdf 2017-10-24 16:34 GMT-07:00 Andrea Loparic <[email protected]>: > Marcelo, caro, é por essas e outras que crianças e velhinhas, > especialmente as inteligentes, se dão tão bem! > > > Em 24 de outubro de 2017 20:59, Marcelo Finger <[email protected]> > escreveu: > >> 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/di >>> map.ufrn.br/group/logica-l/. >>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di >>> map.ufrn.br/d/msgid/logica-l/CACHAqBmf%2BtauDjypWfOL%2B5jg0E >>> g%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ê 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/di >> map.ufrn.br/group/logica-l/. >> Para ver essa discussão na Web, acesse https://groups.google.com/a/di >> map.ufrn.br/d/msgid/logica-l/CABqmzx0agJUPdhoUH8gb3qyTb0CHUF >> Zqq6VD%2BPA6MBGLBnnt_g%40mail.gmail.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx0agJUPdhoUH8gb3qyTb0CHUFZqq6VD%2BPA6MBGLBnnt_g%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > > -- > 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/CACHAqBmsn3kz_z%3DRS1S% > 2BVhPm6Mf_bcUzUpJ13yMJ%2BNon4oC%3DBA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACHAqBmsn3kz_z%3DRS1S%2BVhPm6Mf_bcUzUpJ13yMJ%2BNon4oC%3DBA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Valeria de Paiva http://vcvpaiva.github.io/ http://research.nuance.com/author/valeria-de-paiva/ http://www.cs.bham.ac.uk/~vdp/ -- 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/CAESt%3DXv-x1GLHPUENASQQUvW3F4_M%3D4U2-M7%2BxvY5%2BbNNySnJg%40mail.gmail.com.
