3 papers
cs.LO2026
On the Axioms of Arboreal Categories
Tomáš Jakl, Luca Reggio
Arboreal categories were introduced as an axiomatic framework for game comonads, which provide a comonadic view on many model-comparison games in logic. We demonstrate the inadequa…
cs.LO2025
Four imprints of Belnap's useful four-valued logic in computer science
Tomáš Jakl
We review four areas of theoretical computer science which share technical or philosophical ideas with the work of Belnap on his useful four-valued logic. Perhaps surprisingly, the…
math.CT2024
Canonical extensions via fitted sublocales
Tomáš Jakl, Anna Laura Suarez
We build on a recent result stating that the frame of strongly exact filters for a frame is anti-isomorphic to the coframe of fitted sublocal…