Category:Cirquent calculus
Jump to navigation
Jump to search
proof calculus | |||||
| Upload media | |||||
| |||||
 | |||||
Media in category "Cirquent calculus"
The following 3 files are in this category, out of 3 total.
-
Cirquent for the "two out of three" combination of resources.png 301 × 232; 6 KB
-
Cirquents vs sequents.png 571 × 227; 8 KB
-
Linear logic vs classical logic.png 707 × 263; 12 KB
