4 citations · 13 across the 28 of their papers we have counts for
6 papers · 1 filter
Residuation in finite posets
Ivan Chajda, Helmut Länger
When an algebraic logic based on a poset instead of a lattice is investigated then there is a natural problem how to introduce the connective implication to be everywhere defined a…
Semimodular -lattices
Ivan Chajda, Helmut Länger
The concept of a -lattice was introduced by V. Sná\v sel in order to generalize some lattice concepts for directed posets whose elements need not have suprema or infima. We exte…
Semimodules over commutative semirings and modules over unitary commutative rings
Ivan Chajda, Helmut Länger
We study the so-called closed and splitting subsemimodules and submodules of a given semimodule or module, respectively. We describe lattices of subsemimodules and of closed subsem…
Sectionally pseudocomplemented posets
Ivan Chajda, Helmut Länger, Jan Paseka
The concept of a sectionally pseudocomplemented lattice was introduced by I. Chajda as an extension of relative pseudocomplementation for not necessarily distributive lattices. The…
Residuation in lattice effect algebras
Ivan Chajda, Helmut Länger
We introduce the concept of a quasiresiduated lattice and prove that every lattice effect algebra can be organized into a commutative quasiresiduated lattice with divisibility. Als…
Relatively residuated lattices and posets
Ivan Chajda, Helmut Länger
It is known that every relatively pseudocomplemented lattice is residuated and, moreover, it is distributive. Unfortunately, non-distributive lattices with a unary operation satisf…