Details of Proof Theory as an Alternative to Model Theory
About Proof Theory as an Alternative to Model Theory
Proof Theory as an Alternative to Model Theory- Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.
