Activity

[PSSL] Incompleteness via Universal Property of Arithmetic.

[NCL] Diagonalisation and Well-Founded Naming.

[LiCS2023] Categorical Structures in Theory of Arithmetic.

[ACT2022] Unification of Modal Logic via Category Theory. [slides] [video]

[Tsinghua] Duality in Logic and Vector Space.

[AWPL] Towards a Relational Treating of Language and Logical Systems.

[DutchCAT] Stack Representation of First-order Intuitionistic Theories.

[Logic@GU] Stack Representation of First-order Intuitionistic Theories.

[DutchCAT] Categorical Structures in Theory of Arithmetic. [slides]

[LLAMA] Towards Functorial Model Theory. [slides]

[DutchCAT] Model-Theoretic Origin of Profinite Integers. [slides]

[LIRa] Unification of Semantics of Modal Logic. [slides]

[Pecking] Categories Are the Right Land for (Mathematical) Logic.

[Tsinghua] Uniformity, Contingency, and Self-reference in Arithmetic.