@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