Diagrammatic Algebra of First Order Logic

Filippo Bonchi; Alessandro Di Giorgio; Nathan Haydon; Pawel Sobocinski

doi:10.1145/3661814.3662078

LICS2024顶会

Diagrammatic Algebra of First Order Logic

Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski

arXiv DOI 出版方

2024年份

5被引次数

1顶会引用

摘要

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.