No label defined (Q4436028)
From MaRDI portal
scientific article; zbMATH DE number 2006632
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2006632 |
Statements
23 November 2003
0 references
categorial proof theory
0 references
conjunction and disjunction
0 references
decidability of equality of deductions
0 references
