Talk "Diagrammatic algebra of First Order Logic"

by Filippo Bonchi

Sat, 14 June 2025 at 11:00 am in Glasgow, Scotland

Joint work with: Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski

Abstract: We introduce the calculus of neo-Peircean relations, a string diagrammatic extension of the calculus of binary relations that has the same expressivity as first order logic and comes with a complete axiomatisation. The axioms are obtained by combining two well known categorical structures: cartesian and linear bicategories.