Web Directory
 

Proof Theory as an Alternative to Model Theory

  Link Details for: Proof Theory as an Alternative to Model Theory
Link Title: Proof Theory as an Alternative to Model Theory Open in a new window
Link URL: http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ProofTheoryAsAlternative.html
Link Details: Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.
Category: Top : Science : Math : Logic_and_Foundations : Proof_Theory
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Proof Theory as an Alternative to Model Theory