XVI ENCONTRO NACIONAL ANPOF
AGENDA
AUTOR
INSTITUIÇÃO
DATA
INÍCIO
FIM
SALA LOCAL
TÍTULO
Walter Carnielli
UNICAMP
27 | Segunda 14:00
14:30
6
CC
On two paradigms of uncertainty, and their rationality
Hércules de Araujo Feitosa
UNESP
27 | Segunda 14:30
15:00
6
CC
Sobre o quantificador “muitos”: uma abordagem algébrica
Luiz Henrique da Cruz Silvestrini
UNESP
27 | Segunda 15:00
15:30
6
CC
Completude algébrica da lógica do quantificador “muitos”
Marcelo Esteban Coniglio
UNICAMP
27 | Segunda 16:00
16:30
6
CC
Tarskian-style semantics for paraconsistent and/or paracomplete 3-valued and 4-valued first-order logics
Kleidson Eglicio Carvalho da Silva OliveiraUNICAMP
27 | Segunda 16:30
16:55
6
CC
Uma abordagem à Programação Lógica Paraconsistente 3-valorada
Roque Pires Vercesi
UNESP
27 | Segunda 16:55
17:15
6
CC
Sobre a quase-verdade de Newton da Costa e a teoria pragmática de Peirce
Daniel Arvage Nagase
USP
27 | Segunda 17:15
17:35
6
CC
Algumas observações sobre o critério de logicalidade de Tarski
27 | Segunda 17:35
18:00
6
CC
Paraconsistência, Pluralismo Lógico e Relativismo Lógico
27 | Segunda 18:00
18:30
6
CC
Grafos Existenciais e Dedução Natural: Uma Análise Comparativa de Sistemas Lógicos para Cálculo Proposicional
28 | Terça
8:05
8:30
6
CC
Uma condição necessária e suficiente para as traduções contextuais
8:30
9:00
6
CC
Sistemas fracos de lógica modal clássica estrita
Diogo Henrique Bispo Dias
José Renato Salatiel
UFES
Angela Pereira Rodrigues
Cezar Augusto Mortari
UFSC
28 | Terça
Jean-Yves Beziau
UFRJ
28 | Terça
9:00
9:30
6
CC
Names o Logic
Antonio Mariano Nogueira Coelho
UFMG
28 | Terça
10:00
10:30
6
CC
Uma análise conjuntista da posição de Quine sobre o par ordenado
Edgar Luis Bezerra de Almeida
UNICAMP
28 | Terça
10:30
10:55
6
CC
Bases à Verdade de Proposições Aritméticas
João Daniel Dantas de Oliveira
UFRN
28 | Terça
10:55
11:15
6
CC
O Argumento Estilingue de Gödel e suas reconstruções
Henrique Antunes Almeida
UNICAMP
28 | Terça
11:15
11:35
6
CC
Uma Definição Contextual do Operador de Abstração na Lógica de Segunda Ordem
Pedro Alonso Amaral Falcão
USP
28 | Terça
11:35
12:00
6
CC
As partes do infinito
David Robert Gilbert
UNICAMP
28 | Terça
12:00
12:30
6
CC
Actuality Quantifiers and Free Logic
Abilio Azambuja Rodrigues Filho
UFMG
29 | Quarta
14:00
14:30
6
CC
Dealing with paraconsistency and paracompleteness: on minimal logics of formal inconsistency and undeterminedness
Walter Gomide
UFMT
29 | Quarta
14:30
15:00
6
CC
Os números transreais e o conceito de espaço lógico.
Evandro Luis Gomes
UEM
29 | Quarta
15:00
15:30
6
CC
Pequena história da relutância filosófica à lógica e seus dilemas
Rodolfo C. Ertola Biraben
UNICAMP
29 | Quarta
16:00
16:30
6
CC
Connectives and schemas
Antonio Marmo da Cunha Oliveira
29 | Quarta
16:30
16:55
6
CC
Por detrás do Problema das Reduções
Valéria Gradinar
UFSC
29 | Quarta
16:55
17:15
6
CC
A questão da identidade na lógica e na metateoria da mecânica quântica
Gabriel Filipe Santana Lima
UFRJ
29 | Quarta
17:15
17:35
6
CC
Possibilidade e contingência em muitos-níveis
29 | Quarta
17:35
18:00
6
CC
Revisitando a Lógica de Dunn-Belnap
Carolina Blasio da Silva
Carlos Luciano Manholi
UEL
29 | Quarta
18:00
18:30
6
CC
Lógica, tempo e linguagem natural: Um sistema formal para tempos verbais do português
Marcio Kléos Freire Pereira
UFMA
30 | Quinta
8:00
8:25
2
CC
Uma extensão de primeira ordem para a lógica do anúncio público
30 | Quinta
8:25
8:50
2
CC
Álgebras não-determinísticas e algebrização de lógicas
Ana Claudia de Jesus Golzio
1