Reputation
Next privilege 125 Rep.
Vote down
Badges
3
Newest
 Student
Impact
~54 people reached

  • 0 posts edited
  • 0 helpful flags
  • 2 votes cast
Jun
14
revised Defined negation in intuitionistic linear logic
added 208 characters in body
Jun
14
revised Defined negation in intuitionistic linear logic
added 340 characters in body
Jun
14
revised Defined negation in intuitionistic linear logic
added 24 characters in body
May
27
comment Defined negation in intuitionistic linear logic
It stands (in this case) for implication in linear logic. The idea is that you have to use every argument of the implication exactly once, meaning that the theorem mentioned by Stefan isn't valid, and neither is $A \to (A\wedge A)$.
May
27
revised Defined negation in intuitionistic linear logic
added 80 characters in body
May
27
revised Defined negation in intuitionistic linear logic
added 6 characters in body
May
19
awarded  Student
May
19
awarded  Editor
May
19
revised Defined negation in intuitionistic linear logic
added 228 characters in body
May
19
asked Defined negation in intuitionistic linear logic
Jan
1
awarded  Supporter