Topics:
- stream events (4 messages, latest: Oct 31 2023 at 11:20)
- SupLat as a *-autonomous category (44 messages, latest: Aug 21 2023 at 23:15)
- Models of FOL using bivaluations (1 message, latest: May 03 2023 at 15:51)
- proofs of cut-elimination theorem (26 messages, latest: Mar 19 2023 at 18:21)
- Bounded quantification over postulated sets (1 message, latest: Mar 16 2023 at 23:56)
- roots as models (26 messages, latest: Feb 26 2023 at 04:36)
- Formalizing category theory in HOL (10 messages, latest: Feb 01 2023 at 02:19)
- All models of classical logic are posets (11 messages, latest: Jan 10 2023 at 21:25)
- Framework for expressing categorical doctrines and logics (8 messages, latest: Nov 11 2022 at 21:04)
- linear version of Yoneda? (15 messages, latest: Nov 08 2022 at 16:12)
- Dependent universes? (9 messages, latest: Oct 30 2022 at 17:20)
- Kripke frames (logical vs relational algebraic view) (5 messages, latest: Oct 14 2022 at 14:30)
- double categories and logic (7 messages, latest: Jun 03 2022 at 08:04)
- 2-dimensional essentially algebraic theories (11 messages, latest: May 20 2022 at 05:16)
- ∃∀∃ statements in geometric logic (11 messages, latest: Apr 07 2022 at 20:18)
- Induction (6 messages, latest: Apr 04 2022 at 17:50)
- new website: Women in Logic (1 message, latest: Feb 06 2022 at 16:28)
- 3-player game semantics? (19 messages, latest: Feb 05 2022 at 14:35)
- fragments of logic (58 messages, latest: Jan 21 2022 at 15:50)
- LFCS 2022 (1 message, latest: Jan 10 2022 at 21:55)
- Has anyone tried to do domain theory in condensed sets? A... (2 messages, latest: Jan 06 2022 at 16:34)
- sign relations (21 messages, latest: Sep 03 2021 at 11:42)
- treating implication as fundamental in linear logic (9 messages, latest: Aug 31 2021 at 16:10)
- logical graphs (50 messages, latest: Aug 29 2021 at 16:12)
- relation theory (67 messages, latest: Aug 17 2021 at 14:24)
- inquiry driven systems (4 messages, latest: Aug 01 2021 at 19:40)
- differential logic (21 messages, latest: Jul 24 2021 at 15:54)
- axiom systems (59 messages, latest: Jul 14 2021 at 14:28)
- Proving equivalence/equiconsistency results using CT? (3 messages, latest: May 24 2021 at 16:47)
- word problem for braided monoidal categories (38 messages, latest: May 14 2021 at 10:50)
- (uniform) interpolation and proof equalities/normalization (1 message, latest: Mar 22 2021 at 11:13)
- filtered colimits and type theory (4 messages, latest: Mar 14 2021 at 12:01)
- category of sequents? (33 messages, latest: Mar 07 2021 at 15:01)
- for all x implies exists x? (121 messages, latest: Feb 27 2021 at 02:39)
- Even more exponentials in linear logic (5 messages, latest: Feb 23 2021 at 06:09)
- Terminology: “a calculus of sequents” (25 messages, latest: Feb 21 2021 at 22:01)
- constructive and co-constructive logic (28 messages, latest: Jan 11 2021 at 13:02)
- Axiom of Multiple Choice (10 messages, latest: Jan 03 2021 at 21:11)
- Tukey's Lemma (14 messages, latest: Dec 22 2020 at 03:17)
- elementary embeddings (21 messages, latest: Nov 24 2020 at 17:10)
- "substructural" interpretation of braiding? (3 messages, latest: Nov 09 2020 at 15:46)
- Exponential Modalities in Linear Logic / Type Theory (27 messages, latest: Nov 09 2020 at 12:10)
- Generators, inductive types and fixpoints in linear logic (5 messages, latest: Nov 07 2020 at 11:51)
- Domain (op)fibration (4 messages, latest: Nov 03 2020 at 07:55)
- Type theory and sequent calculus (13 messages, latest: Oct 25 2020 at 19:25)
- Why Finitely Axiomatizable? (60 messages, latest: Oct 19 2020 at 23:07)
- Inference rules for sequents without exchange (61 messages, latest: Oct 18 2020 at 16:53)
- Ideal Notation (1 message, latest: Sep 05 2020 at 17:28)
- Girard's latest work (16 messages, latest: Jul 15 2020 at 21:26)
- Filters (2 messages, latest: Jun 21 2020 at 14:01)
- Tukey category (21 messages, latest: May 21 2020 at 21:38)
- Proof nets (84 messages, latest: May 12 2020 at 10:52)
- adjoint linear logic and coconstructivity (4 messages, latest: May 10 2020 at 09:35)
- operads & logic (7 messages, latest: May 04 2020 at 09:54)
- Deduction Theorem (3 messages, latest: Apr 25 2020 at 14:51)
- Girard algebras? (108 messages, latest: Apr 21 2020 at 14:40)
- Probability as logic (63 messages, latest: Apr 15 2020 at 12:33)
