Post #2255682
2026-05-06 09:48 UTC
@ohad@mathstodon.xyz @modaltype@types.pl Thanks so much for hosting me, and for the excellent and thought provoking conversations. I look forward to future cooperation.
Replies (1)
-
@modaltype@types.pl 2026-05-07 13:24
@consequently@hcommons.social thank you for the brilliant talk featuring hypersequents! Your visit has left me intrigued by non-distributive logics and largely inspired by proof-theoretic methods :) @ohad@mathstodon.xyz