3 citations · 3 across the 6 of their papers we have counts for
4 papers · 1 filter
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…