Proof Theory as an Alternative to Model Theory

lix.polytechnique.fr

Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.

Rate This Site

More in Proof Theory Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5285068" title="Proof Theory as an Alternative to Model Theory"><img src="https://e-sygoing.link/badge.php?lid=5285068" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Proof Theory as an Alternative to Model Theory

Rate This Site

Submit Your Site

Related Links