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)
Sumario
1 Deducción natural con Pandora
- Pandora se encuentra aquí (o en su copia local)
- Un libro que usa Pandora es Reasoned programming por K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers.
2 Deducción natural con Conan
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í.