User Twey

11 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions

awarded

Editor

Oct 21, 2018 at 18:00

revised

Proof of ¬(¬1 ⊗ ¬1) in tensorial logic

edited body; edited title

Oct 21, 2018 at 17:57

Loading…

awarded

Supporter

Oct 19, 2018 at 20:55

comment

Proof of ¬(¬1 ⊗ ¬1) in tensorial logic

I have to say, this is very surprising to me in a game-semantic sense. Surely it's always possible to win the dialogue game represented by ¬(¬1 ⊗ ¬1).

Oct 19, 2018 at 20:51

awarded

Benefactor

Oct 19, 2018 at 20:25

awarded

Scholar

Oct 19, 2018 at 20:25

accepted

Proof of ¬(¬1 ⊗ ¬1) in tensorial logic

Oct 19, 2018 at 20:24

comment

Proof of ¬(¬1 ⊗ ¬1) in tensorial logic

Apologies for the notation. I should have said 1 — I've edited the question.

Oct 19, 2018 at 20:24

awarded

Promoter

Oct 14, 2018 at 10:50

awarded

Student

Oct 10, 2018 at 12:40

asked

Proof of ¬(¬1 ⊗ ¬1) in tensorial logic

Oct 9, 2018 at 22:19

Loading…