Sistemas usados en "Lógica matemática y fundamentos" (2013-14)

En esta página se encuentran enlaces a los sistemas utilizados en en el curso "Lógica matemmática y fundamentos".

• Formalización:
  • APLI2 (APLIcación de Ayuda Para Lógica Informática).
• Tablas de verdad, árboles de formación y formas normales:
  • Gateway to Logic.
• Deducción natural:
  • Pandora
  • Isabelle/HOL
• Tableros semánticos:
  • Tree Proof Generator
• Resolución:
  • Prover9/Mace4.