affine logic (Q4688943)
Jump to navigation
Jump to search
substructural logic whose proof theory rejects the structural rule of contraction
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | affine logic |
substructural logic whose proof theory rejects the structural rule of contraction |
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Affine logic
- ruwiki Аффинная логика