4 citations · 13 across the 28 of their papers we have counts for
Showing 2021 · math.LOShow all
3 papers · 2 filters
math.LO2021
Representability of Kleene posets and Kleene lattices
Ivan Chajda, Helmut Länger, Jan Paseka
A Kleene lattice is a distributive lattice equipped with an antitone involution and satisfying the so-called normality condition. These lattices were introduced by J. A. Kalman. We…
math.LO2021
Constructions of Kleene lattices
Ivan Chajda, Helmut Laenger, Jan Paseka
We present an easy construction producing a Kleene lattice K from an arbitrary distributive lattice L and a non-empty subset of L. We show that L can be embedded into K and compute…
math.LO2021
Implication in finite posets with pseudocomplemented sections
Ivan Chajda, Helmut Länger
It is well-known that relatively pseudocomplemented lattices can serve as an algebraic semantics of intuitionistic logic. To extend the concept of relative pseudocomplementation to…