Deduction theorem for symmetric cirquent calculus (Q3145140)
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: Deduction theorem for symmetric cirquent calculus |
scientific article; zbMATH DE number 6115784
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Deduction theorem for symmetric cirquent calculus |
scientific article; zbMATH DE number 6115784 |
Statements
Deduction Theorem for Symmetric Cirquent Calculus (English)
0 references
14 December 2012
0 references
proof theory
0 references
cirquent calculus
0 references
deduction theorem
0 references
0.8036398887634277
0 references
0.7805097699165344
0 references
0.768149197101593
0 references
0.7611258625984192
0 references
0.745911717414856
0 references
