Order:
Did you mean: Modigliani, Alberto
  1.  4
    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 (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  9
    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  
     
    Bookmark