SEMINARIOS CLE
Rodrigo Podiacki (mestrando / Dep. de Fil/ Unicamp)
data: 31/10 (quarta-feira)
horário: 15h
Local: CLE - Unicamp
horário: 15h
Local: CLE - Unicamp
LFI's de primeira ordem: axiomática e semântica
Neste seminário, exibirei versão de primeira ordem de uma lógica paraconsistente definida por Carnielli, Coniglio e Marcos em artigo recentemente publicado no Handbook of Philosophical Logic, chamada mbC. Mostrarei como fica sua respectiva sintaxe e esboçarei teorema de completude relativamente a uma semântica de valorações bivalente.
Neste seminário, exibirei versão de primeira ordem de uma lógica paraconsistente definida por Carnielli, Coniglio e Marcos em artigo recentemente publicado no Handbook of Philosophical Logic, chamada mbC. Mostrarei como fica sua respectiva sintaxe e esboçarei teorema de completude relativamente a uma semântica de valorações bivalente.
Nenhum comentário:
Postar um comentário