activity
20182024
most citedOn the structure of balanced residuated partially ordered monoids

3 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

math.LO2018

Cut elimination, identity elimination, and interpolation in super-Belnap logics

Adam Prenosil

We develop a Gentzen-style proof theory for super-Belnap logics (extensions of the four-valued Dunn-Belnap logic), expanding on an approach initiated by Pynko. We show that just li…