1.  6
    Cut elimination for a logic with induction and co-induction.Alwen Tiu & Alberto Momigliano - 2012 - Journal of Applied Logic 10 (4):330-367.
    Direct download (7 more)  
    Export citation  
    Bookmark   2 citations  
  2.  14
    Theorem Proving via Uniform Proofs>.Alberto Momigliano - unknown
    Uniform proofs systems have recently been proposed [Mi191j as a proof-theoretic foundation and generalization of logic programming. In [Mom92a] an extension with constructive negation is presented preserving the nature of abstract logic programming language. Here we adapt this approach to provide a complete theorem proving technique for minimal, intuitionistic and classical logic, which is totally goal-oriented and does not require any form of ancestry resolution. The key idea is to use the Godel-Gentzen translation to embed those logics in the syntax (...)
    Direct download (4 more)  
    Export citation