Linear_logic_vs_classical_logic.png (707 × 263 pixels, file size: 12 KB, MIME type: image/png)
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 04:30, 4 January 2017 |
![]() | 707 × 263 (12 KB) | Arley82 | Linear logic and classical logic are two extremes. Linear logic would understand the displayed formula as the left cirquent, where nothing is shared. Classical logic would understand the same formula as the right cirquent, where “everything is shared... |
Linear_logic_vs_classical_logic.png (707 × 263 pixels, file size: 12 KB, MIME type: image/png)
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 04:30, 4 January 2017 |
![]() | 707 × 263 (12 KB) | Arley82 | Linear logic and classical logic are two extremes. Linear logic would understand the displayed formula as the left cirquent, where nothing is shared. Classical logic would understand the same formula as the right cirquent, where “everything is shared... |