2 papers
cs.LO2025
The calculus of neo-Peircean relations
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon +1
The calculus of relations was introduced by De Morgan and Peirce during the second half of the 19th century, as an extension of Boole's algebra of classes. Later developments on qu…
cs.LO2024
Diagrammatic Algebra of First Order Logic
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon +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 com…