User Potato44

11 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions

awarded

Custodian

Jun 30 at 17:52

reviewed

Approve

How strong is Cantor-Bernstein-Schröder?

Jun 30 at 17:46

awarded

Necromancer

May 7 at 7:15

awarded

Organizer

Sep 28, 2021 at 5:36

revised

Equivalent formulation of linear logic with more axioms and less inference rules

add linear logic tag

Sep 28, 2021 at 5:29

Loading…

suggested

Approve

Equivalent formulation of linear logic with more axioms and less inference rules

Sep 28, 2021 at 4:44

comment

Distributivity of ! over?

Their is the paper On the Unity of Logic: a Sequential, Unpolarized Approach by Norihiro Yamada that adds the distributive law to a substystem of linear logic.

Oct 9, 2020 at 8:28

awarded

Teacher

Nov 17, 2019 at 16:45

answered

How strong is Cantor-Bernstein-Schröder?

Nov 17, 2019 at 15:34

Loading…

awarded

Citizen Patrol

Mar 20, 2019 at 12:31

awarded

Supporter

Dec 27, 2018 at 0:45