Jean-Baptiste Joinet (Université de Lyon)

Personal webpage: http://www-philo.univ-paris1.fr/Joinet/NEW/index.php

Talks

Pontos de vista computacionais sobre negação, antinomias et contradições

A palestra será consagrada ao assunto da negação do ponto de vista da teoria da computação. Depois uma recordação rápida de varias abordagens computacionais to tema da negação, o foco estará colocado sobre o tema da normalização das provas em presencia de antinomias (X=¬X). Em ausência da regra de contração (MLL), a logica é computationalmente compativel com antinomias, mas seu poder de representação é tão fraco, que « o bebe foi embora com a agua do banho » (assim que os franceses dizem). Depois uma apresentação de ELL (Elementary Linear Logic), veremos atraverso uma análise fina dos aspetos struturais da normalização, como seja possível recobrar um poder forte de representação (aritmetica recursiva elementara) enquanto amansando as antinomias.

Deep inference seen from proof-nets: an introduction

Slides

TecMF: TalksJoinet (last edited 2014-09-05 15:00:08 by BrunoLopes)