Aproveitando o CONVITE...

[Elaine Pimentel]

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

--------------------------------------------------------