Diferencia entre revisiones de «Tema 9: Editores lógicos»
De Razonamiento automático (2018-19)
(Página creada con «== Deducción natural con Pandora == * El sitio de Pandora es [http://www.doc.ic.ac.uk/pandora/newpandora] (o su [https://www.cs.us.es/~jalonso/cursos/lmf/sistemas/pandor…») |
(→Cálculo de secuentes con Sequent Calculus Trainer) |
||
| Línea 18: | Línea 18: | ||
== Cálculo de secuentes con Sequent Calculus Trainer == | == Cálculo de secuentes con Sequent Calculus Trainer == | ||
| − | * Sequent Calculus Trainer se encuentra[http://www.uni-kassel.de/eecs/fachgebiete/fmv/projects/sequent-calculus-trainer.html aquí]. | + | * Sequent Calculus Trainer se encuentra [http://www.uni-kassel.de/eecs/fachgebiete/fmv/projects/sequent-calculus-trainer.html aquí]. |
== Formalización == | == Formalización == | ||
* [http://protosmart.uhu.es/apli2/login APLI2 (APLIcación de Ayuda Para Lógica Informática)]. | * [http://protosmart.uhu.es/apli2/login APLI2 (APLIcación de Ayuda Para Lógica Informática)]. | ||
Revisión del 12:19 24 ene 2019
Sumario
1 Deducción natural con Pandora
- El sitio de Pandora es [1] (o su copia local)
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í.