Natural deduction systems for some non-commutative logics (Q5446313)
From MaRDI portal
scientific article; zbMATH DE number 5244219
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Natural deduction systems for some non-commutative logics |
scientific article; zbMATH DE number 5244219 |
Statements
Natural deduction systems for some non-commutative logics (English)
0 references
6 March 2008
0 references
paraconsistent logic
0 references
natural deduction
0 references
non-commutative substructural logic
0 references
normalization
0 references
Church-Rosser theorems
0 references
full Lambek logic
0 references
