Speaker
Pawel Sobocinski, Tallinn University of Technology
Title
Diagrammatic Algebra of First Order Logic
Abstract
Combining the algebraic structures of cartesian bicategories and linear bicategories results in a complete axiomatisation of the linear bicategory of relations, with the expressive power of First Order Logic. The associated diagrammatic language can be seen as a compositional account of Peirce’s Existential Graphs.