Acciones

Diferencia entre revisiones de «Tema 9: Editores lógicos»

De Razonamiento automático (2018-19)

(Deducción natural con Pandora)
(Deducción natural con Pandora)
Línea 1: Línea 1:
 
== Deducción natural con Pandora ==  
 
== 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/pandora.jar copia local])
+
* Pandora se encuentra [http://www.doc.ic.ac.uk/pandora/newpandora aquí] (o en su [https://www.cs.us.es/~jalonso/cursos/lmf/sistemas/pandora.jar copia local])
  
 
* Un libro que usa Pandora es el de K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers [http://pubs.doc.ic.ac.uk/reasoned-programming/reasoned-programming.pdf Reasoned programming].
 
* Un libro que usa Pandora es el de K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers [http://pubs.doc.ic.ac.uk/reasoned-programming/reasoned-programming.pdf Reasoned programming].

Revisión del 11:21 24 ene 2019

1 Deducción natural con Pandora

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

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