3 citations · 3 across the 1 of their papers we have counts for
2 papers
math.LO2024★ 3 cited
On the structure of balanced residuated partially ordered monoids
Stefano Bonzio, José Gil-Férez, Peter Jipsen +2
A residuated poset is a structure where is a poset and is a monoid such that the re…
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…