Category:Linear logic
Jump to navigation
Jump to search
system of resource-aware logic | |||||
| Upload media | |||||
| Discoverer or inventor |
| ||||
|---|---|---|---|---|---|
| |||||
 | |||||
Media in category "Linear logic"
The following 5 files are in this category, out of 5 total.
-
Cirquent for the "two out of three" combination of resources.png 301 × 232; 6 KB
-
CompSciLogicLinearResTree.png 518 × 460; 9 KB
-
Linear logic vs classical logic.png 707 × 263; 12 KB
-
LL deMorgan.png 130 × 85; 1 KB
-
Sequent calculus for classical linear logic.png 620 × 390; 13 KB
