Translate

24.3.12

28/03 - Mariana Matulovic

Provas por Anéis de  Polinômios:  motivações, resultados e problemas


Mariana Matulovic
IFCH e GLTA/ CLE- UNICAMP

Resumo:

O método de provas por  Anéis de Polinômios, desenvolvido por Carnielli em
2005, introduz um novo método algébrico de provas para lógicas
 finito-valoradas e suas particularizações para o Cálculo Proposicional,
baseado na expressabilidade em fórmulas de  uma lógica e polinômios sobre
corpos finitos. O método pode ser estendido para cobrir certas lógicas
infinitamente valoradas.
Agudelo e Carnielli publicaram em 2009 ( impresso no "Review of
Symbolic Logic"
 em 2011) uma versão do método de polinômios para  os sistemas modais
S4 e  S5,  mostrando
como tratar  as  lógicas da hierarquia  de  Lemmon-Scott.  Muitos
problemas ainda estão em aberto
 em relação a esse novo método, tais  como: a representação polinomial
traz alguma luz às questões
referentes ao  entendimento do que são "valores de verdade"? Podemos
apresentar um
polinômio para   Lógica de Primeira ordem  completa?

 Nesta apresentação, esboçarei algumas sugestões de trabalhos para o
 desenvolvimento da minha tese sobre o Método de Anéis de Polinômios.

 Referências:
1. Carnielli, W. A. Polynomial ring calculus for many-valued logics.
 Proceedings of the 35th International Symposium on Multiple-Valued Logic.
IEEE Computer Society. Calgary,
Canadá. IEEE Computer Society, pp. 20-25, 2005.

2. Agudelo, J. C. and Carnielli, W. A. Polynomial ring calculus for modal
logics: a new semantics and proof method for modalities.
 The Review of Symbolic Logic   4(1):2011,  150-170
doi:10.1017/S1755020310000213

Versao prévia em: CLE e-Prints  vol. 9(4), 2009
ftp://logica.cle.unicamp.br/pub/e-prints/vol.9,n.4,2009.pdf

1.3.12

07/03 - Rodolfo C. Ertola Biraben

"Conectivos intuicionistas"

Rodolfo C. Ertola Biraben, pesquisador do CLE-Unicamp

Programação 1⁰ semestre 2012

A confirmar:
Março
7 Rodolfo C. Ertola Biraben "Conectivos intuicionistas"
14 Rodolfo C. Ertola Biraben "Sobre a dualidade da lógica intuicionista"
28 Mariana Matulovic

Abril
4 PedroFalcão
11 Zhao Xian
25 Enrique Alonzo

Maio
2 Abilio Rodrigues CANCELADO
9 Renata de Freitas "Graph calculi for relation algebras"
16 Maurício Coutinho ""Locke e a Teoria Quantitativa do Dinheiro"
23 Carles Noguera
30 Tony Marmo "Systems, Presuppositions and Implicatures: an exploratory, logical and philosophical investigation"

Junho
6 Samir Gorsky
13 (14h00 às 15h50) António de Freitas "Os versos 116-126 da Teogonia de Hesíodo lidos com
olhos matemáticos"
 (16h10 às 18h00) Pedro Lemos
27 Marcos Alves