Alessandro Di Giorgio
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Alessandro Di Giorgio has a total of 3 co-authors. Here are the top co-authors by number of shared publications:
- Filippo Bonchi
University of Pisa Italy
1 shared publication - Nathan Haydon
University of Pisa Pisa Italy
1 shared publication - Paweł Sobociński
Tallinn University of Technology Estonia
1 shared publication
Latest Publications
- Open Access
Diagrammatic Algebra of First Order Logic
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.
Open AccessDiagrammatic Algebra of First Order Logic
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.