You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Madeleine Birchfield (Jan 13 2025 at 16:31):According to Affine logic for constructive mathematics, the antithesis translation of intuitionistic logic into affine logic is not conservative over affine logic, since the resulting affine logic satisfies additional axioms such as . Is there a minimal set of axioms or inference rules that one can add directly to affine logic to make it equivalent to an antithesis translation of intuitionistic logic into affine logic?
Mike Shulman (Jan 13 2025 at 17:13):I certainly don't know the answer, and if anyone else does they haven't told me.
Mike Shulman (Jan 13 2025 at 17:14):But it's an interesting question!