Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Science
:
Math
:
Logic_and_Foundations
:
Proof_Theory
:
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
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:
ScreenShot: