12 citations · 55 across the 30 of their papers we have counts for
4 papers · 2 filters
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…
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…
An algebraic analysis of implication in non-distributive logics
Ivan Chajda, Kadir Emir, Davide Fazio +3
In this paper, we introduce the concept of a (lattice) skew Hilbert algebra as a natural generalization of Hilbert algebras. This notion allows a unified treatment of several struc…
Linear orthogonality spaces as a new approach to quantum logic
Kadir Emir, David Kruml, Jan Paseka +1
The notion of an orthogonality space was recently rediscovered as an effective means to characterise the essential properties of quantum logic. The approach can be considered as mi…