In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof.

PropertyValue
dbpprop:abstract
  • In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof.
dbpprop:hasPhotoCollection
rdfs:comment
  • In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof.
rdfs:label
  • Structural proof theory
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of