Após a defesa do João Daniel teremos mais uma conferência IMPERDÍVEL do
nosso grupo, LoLITA :)
Estão todos convidados!
***
Luiz Carlos Pereira (PUC-Rio/UERJ/CNPq)
O sistema Ecumênico e o sistema Fat
Em um artigo recente [2015], Dag Prawitz propôs um sistema ecumênico no
qual a lógica clássica e lógica intuicionista poderiam coexistir
pacificamente sem qualquer conflito. A ideia principal envolve uma divisão
de alguns operadores: ∧, ¬, ⊥ e ∀ seriam compartilhados entre as duas
lógicas, mas cada lógica teria seus próprios operadores para a implicação,
a disjunção e a quantificação existencial, denotados por →c, ∨c e ∃c e →i,
∨i e ∃i, respectivamente. O objetivo do presente trabalho é duplo:
[1] examinar a teoria da prova e a semântica do sistema ecumênico de
Prawitz; e
[2] modelar o sistema ecumênico de Prawitz por meio (de uma extensão) do
sistema polimórfico atômico Fat proposto por Fernando Ferreira e Gilda
Ferreira.
Sexta 30/09/2016 16h Auditório da Geografia - CCHLA - UFRN
--
Elaine.
-------------------------------------------------
Elaine Pimentel - DMAT/UFRN
Address: Departamento de Matemática
Universidade Federal do Rio Grande do Norte
Campus Universitário - Av. Senador Salgado Filho, s/nº
Lagoa Nova, CEP: 59.078-970 - Natal - RN
Phone: +55 84 9193-6127 / 3215-3819
Fax: +55 84 3211-9219
http://sites.google.com/site/elainepimentel/
Lattes: http://lattes.cnpq.br/3298246411086415
--------------------------------------------------------
--
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
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/CAHQVs%2BVt%2BF74FLFirKDM_Z9xHyV9uGg-9d_zJVmQs%3DkPdG1_zw%40mail.gmail.com.
