2 citations · 2 across the 2 of their papers we have counts for
2 papers
math.LO2021
First order logic properly displayed
Samuel Balco, Giuseppe Greco, Alexander Kurz +3
We introduce a proper display calculus for first-order logic, of which we prove soundness, completeness, conservativity, subformula property and cut elimination via a Belnap-style…
cs.LO2019★ 2 cited
Nominal String Diagrams
Samuel Balco, Alexander Kurz
We introduce nominal string diagrams as, string diagrams internal in the category of nominal sets. This requires us to take nominal sets as a monoidal category, not with the cartes…