![Proof theory / Entailment / Symbol / Structure / Logic / Deduction / Natural deduction Proof theory / Entailment / Symbol / Structure / Logic / Deduction / Natural deduction](https://www.pdfsearch.io/img/01f2ce2ed48dd7a8b4aca014676b511f.jpg) Date: 2008-10-31 05:51:56Proof theory Entailment Symbol Structure Logic Deduction Natural deduction | | Declarative Representation of Proof Terms Claudio Sacerdoti Coen? Department of Computer Science, University of Bologna [removed] Abstract. We present a declarative language inspired by the pseudonatural langAdd to Reading ListSource URL: www.cs.unibo.itDownload Document from Source Website File Size: 205,54 KBShare Document on Facebook
|