43 citations · 305 across the 30 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.CT2021
An equational approach to enriched distributivity
Adriana Balan, Alexander Kurz
The familiar adjunction between ordered sets and completely distributive lattices can be extended to generalised metric spaces, that is, categories enriched over a quantale (a latt…
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…