structural proof theory (Q7625047)
Jump to navigation
Jump to search
subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof
Language | Label | Description | Also known as |
---|---|---|---|
English | structural proof theory |
subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(2 entries)
- enwiki Structural proof theory
- ptwiki Teoria da prova estrutural