Bonchi, F;
Di Giorgio, A;
Haydon, N;
Sobocinski, P;
(2024)
Diagrammatic Algebra of First Order Logic.
In:
LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science.
Association for Computing Machinery (ACM): Tallinn, Estonia.
Preview |
Text
LICS24-40.pdf - Published Version Download (843kB) | Preview |
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.
| Type: | Proceedings paper |
|---|---|
| Title: | Diagrammatic Algebra of First Order Logic |
| Event: | LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science |
| Location: | ESTONIA, Tallinn |
| Dates: | 8 Jul 2022 - 11 Jul 2022 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1145/3661814.3662078 |
| Publisher version: | http://dx.doi.org/10.1145/3661814.3662078 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| Keywords: | Science & Technology, Technology, Physical Sciences, Computer Science, Theory & Methods, Mathematics, Applied, Logic, Computer Science, Mathematics, Science & Technology - Other Topics, calculus of relations, string diagrams, deep inference |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10198353 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
