3 citations · 3 across the 6 of their papers we have counts for
7 papers
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…
Compatibility between modal operators in distributive modal logic
Adam Přenosil
Unlike in classical modal logic, in non-classical modal logics the box and diamond operators frequently fail to be interdefinable. Instead, these logics impose some compatibility c…
Logics of upsets of De Morgan lattices
Adam Přenosil
We study logics determined by matrices consisting of a De~Morgan lattice with an upward closed set of designated values, such as the logic of non-falsity preservation in a given fi…
De Morgan clones and four-valued logics
Adam Přenosil
We study clones on a four-element set related to the clone of all term functions of the sub\-directly irreducible four-element De~Morgan algebra . W…
Filter classes of upsets of distributive lattices
Adam Přenosil
Let us say that a class of upward closed sets (upsets) of distributive lattices is a finitary filter class if it is closed under homomorphic preimages, intersections, and directed…
Complemented MacNeille completions and algebras of fractions
Nick Galatos, Adam Přenosil
We introduce (-)bimonoids as ordered algebras consisting of two compatible monoidal structures on a partially ordered (lattice-ordered) set. Bimonoids form an appropriate fra…
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…