Search
Search Results
-
Representability of Kleene Posets and Kleene Lattices
A Kleene lattice is a distributive lattice equipped with an antitone involution and satisfying the so-called normality condition. These lattices were...
-
Residuated Structures and Orthomodular Lattices
The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g.,
... -
Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras
The paper investigates completions in the context of finitely generated lattice-based varieties of algebras. In particular the structure of canonical...