Now showing items 1-2 of 2

  • Una formalización del sistema de los números reales 

    Acevedo Acosta, Jorge Ohel; Echeverri Jurado, José Luis; Magíster en Matemáticas Aplicadas; jorgeacevedo28@hotmail.com; echeverrijurado@gmail.com (Universidad EAFIT; Maestría en Matemáticas Aplicadas; Escuela de Ciencias. Departamento de Ciencias Básicas, 2017)
  • Reconstructing propositional proofs in type theory 

    Prieto Cubides, Jonathan Steven; Magíster en Matemáticas Aplicadas; jprieto9@eafit.edu.co (Universidad EAFIT; Maestría en Matemáticas Aplicadas; Escuela de Ciencias. Departamento de Ciencias Básicas, 2017)
    We describe a syntactical proof-reconstruction approach to verify derivations generated by Metis prover to theorems in classical propositional logic -- To verify such derivations, we formalize in type theory each inference ...