Linear 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.

1 March 2023

17 February 2023

19 January 2023

  • curprev 22:3322:33, 19 January 2023‎ Bacchus talk contribs‎ 759 bytes +759‎ Created page with "'''Linear logic''' is a refinement of classical logic and intuitionistic logic. Instead of emphasizing truth, as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources. To achieve this focus, linear logic does not allow the usual structural rules of contraction and weakening to apply to all formulas but only those formulas marked with certain modals. Linear logic contains a fully involutive negation..."
Retrieved from "http:///index.php/Linear_logic"