929 followers
@tetracephaly @_julesh_ This paper from Nathan Haydon and @PawSob does Peirce's beta graphs categorically https://t.co/TXgWxzqC8l We've built on their work to do first order logic for pregroup grammars.
@tetracephaly @_julesh_ This paper from Nathan Haydon and @PawSob does Peirce's beta graphs categorically https://t.co/TXgWxzqC8l We've built on their work to do first order logic for pregroup grammars.