![Mathematical logic / Symbol / Model theory / Function / Interpretation / Heyting algebra / Natural deduction / Mathematics / Logic / Metalogic Mathematical logic / Symbol / Model theory / Function / Interpretation / Heyting algebra / Natural deduction / Mathematics / Logic / Metalogic](https://www.pdfsearch.io/img/8ae5d1c5c2c20fa73da04af6164b7fc8.jpg) Date: 2014-10-09 11:42:35Mathematical logic Symbol Model theory Function Interpretation Heyting algebra Natural deduction Mathematics Logic Metalogic | | Models and termination of proof-reduction in the λΠ-calculus modulo theory Gilles Dowek∗ Abstract We define a notion of model for the λΠ-calculus modulo theory, a notion of superconsistent theory, and prove that pr
Document is deleted from original location. Use the Download Button below to download from the Web Archive.Download Document from Web Archive File Size: 329,84 KB |