Acciones

Tema 9: Editores lógicos

De Razonamiento automático (2018-19)

Revisión del 11:27 24 ene 2019 de Jalonso (discusión | contribuciones) (Deducción natural con Pandora)

1 Deducción natural con Pandora

  • Un libro que usa Pandora es Reasoned programming por K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers.
  • Ejemplos con Pandora

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