#prooftheoreticsemantics — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #prooftheoreticsemantics, aggregated by home.social.
-
Excitingly, I recently discovered that Pilar Terrés Villalonga had some similar ideas about the connectives as I. Even more thrilling, I had the chance to meet Pilar as a commentator on her brilliant work at 'Women in PLEXUS'! #WomenInLogic #Proof-TheoreticSemantics