Razonamiento automático (2018-19) Razonamiento automático (2018-19)

1 Deducción natural con Pandora

• El sitio de Pandora es [1] (o su copia local)

• Un libro que usa Pandora es el de K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers Reasoned programming.

• Ejemplos con Pandora
  • ejemplo 1 y
  • ejemplo 2.

2 Deducción natural con Conan

• Conan se encuentra aquí.
• La descripción de Conan se encuentra aquí.

3 Cálculo de secuentes con Logitext

• Logitext se encuentra aquí aquí.

4 Cálculo de secuentes con Sequent Calculus Trainer

• Sequent Calculus Trainer se encuentra aquí.

5 Formalización

• APLI2 (APLIcación de Ayuda Para Lógica Informática).