#lambek — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #lambek, aggregated by home.social.
-
In short, we provide a beefed up definition of #DisCoCat where the meaning of words is given not by a #diagram but by a diagram-valued function.
As a concrete example, we take #CharlesSandersPeirce 's existential graphs to go from the #Lambek calculus to logic, i.e. #Montague grammar with diagrams!