A natural proof system for Herbrand's theorem (Q1709711)
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: A natural proof system for Herbrand's theorem |
scientific article; zbMATH DE number 6856652
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A natural proof system for Herbrand's theorem |
scientific article; zbMATH DE number 6856652 |
Statements
A natural proof system for Herbrand's theorem (English)
0 references
6 April 2018
0 references
structural proof theory
0 references
first-order logic
0 references
deep inference
0 references
Herbrand's theorem
0 references
expansion proofs
0 references
0.7895544171333313
0 references
0.7877110242843628
0 references
0.7682294845581055
0 references
