Revision as of 22:53, 1 August 2021 edit Apokrif (talk \| contribs) Extended confirmed users, Pending changes reviewers 29,634 edits m →Decidability/complexity of entailment ← Previous edit		Revision as of 00:04, 22 February 2022 edit undo AyoDev (talk \| contribs) 7 edits m →Syntax: changed disjunction to link to https://en.wikipedia.org/wiki/Logical_disjunction instead of https://en.wikipedia.org/wiki/Negation Next edit →
Line 52: \|- \|⊕ \|additive [[~~Negation~~Logical disjunction\|disjunction]] \| colspan="2" \|plus \|- Line 60: \|- \|⅋ \|multiplicative [[~~Negation~~Logical disjunction\|disjunction]] \| colspan="2" \|par \|-

Linear logic: Difference between revisions