1. Home
  2. Science
  3. Mathematics
  4. Proof Theory as an Alternative to Model Theory

Science · Mathematics

Proof Theory as an Alternative to Model Theory

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

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.

Tags

Foundations

Where it sits

Science Mathematics

More in Mathematics

See all →