Práctico 27 de marzo

Hola,

el 27 de marzo nos juntaremos en el aula indicada por la cartelera (todavía no sé cuál es) a las 15hs. Si se puede, iremos desde ahí al aula 452.

En la clase voy a hablar sobre los métodos de tableaux en lógica clásica. Al respecto, pueden leer la Introducción de la guía de Opfyl. Un acercamiento un poco más avanzado (incluyendo pruebas accesibles de completitud y corrección) puede encontrarse en el capítulo 1 del libro de Priest, Introduction to non-classical logics.

Saludos y nos vemos el lunes,

Diego

Leave a Reply

Your email address will not be published. Required fields are marked *