25 citations · 39 across the 40 of their papers we have counts for
Showing 2024 · math.LOShow all
2 papers · 2 filters
math.LO2024
The variety of complemented lattices where the Sasaki operations form an adjoint pair
Václav Cenker, Ivan Chajda, Helmut Länger
The Sasaki projection was introduced as a mapping from the lattice of closed subspaces of a Hilbert space onto one of its segments. To use this projection and its dual so-called Sa…
math.LO2024
Implications in pseudocomplemented and Stone lattices
Ivan Chajda, Helmut Länger
Two kinds of the connective implication are introduced as term operations of a pseudocomplemented lattice. It is shown that they share a lot of properties with the intuitionistic i…