Proof-graphs: a thorough cycle treatment, normalization and subformula property (Q3100159)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Proof-graphs: a thorough cycle treatment, normalization and subformula property |
scientific article; zbMATH DE number 5977310
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Proof-graphs: a thorough cycle treatment, normalization and subformula property |
scientific article; zbMATH DE number 5977310 |
Statements
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property (English)
0 references
22 November 2011
0 references
proof theory
0 references
normalization
0 references
proof-graphs
0 references
cycles
0 references
classical natural deduction proof system
0 references
multiple-conclusion proof structure
0 references
0.9038568139076232
0 references
0.8182281851768494
0 references
0.7652018070220947
0 references
0.7648023366928101
0 references
0.7602905035018921
0 references
