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 - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Add to Reading List Document Date: 2014-10-09 11:42:35 Open Document File Size: 329,84 KB Share Result on Facebook Country France / / / Position hB / Let hB / / ProvinceOrState North Carolina / Maryland / North Dakota / Massachusetts / / SocialTag Mathematical 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 prAdd to Reading List