Ordered logic: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

19 January 2023

  • curprev 22:0922:09, 19 January 2023β€Ž Bacchus talk contribsβ€Ž 537 bytes +537β€Ž Created page with "'''Ordered logic''' is the internal language of non-symmetric monoidal categories. As with linear and nonlinear logic, if the ordered logic contains function-types then they correspond to internal-homs making the monoidal category closed, although one has to be a bit careful since in the non-symmetric case there are two inequivalent notions of internal-hom; sometimes one speaks of "left closed" and "right closed" to distinguish, with either "closed"..."
Retrieved from "http:///index.php/Ordered_logic"