Deduction Theorem for Symmetric Cirquent Calculus (Q3145140)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deduction Theorem for Symmetric Cirquent Calculus |
scientific article |
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
