25 citations · 93 across the 57 of their papers we have counts for
74 papers
Properties and special filters of pseudocomplemented posets
Ivan Chajda, Helmut Länger
Investigating the structure of pseudocomplemented lattices started ninety years ago with papers by V. Glivenko, G. Birkhoff and O. Frink and this structure was essentially develope…
The intuitionistic-like logic based on a poset
Ivan Chajda, Helmut Länger
The aim of the present paper is to show that the concept of intuitionistic logic based on a Heyting algebra can be generalized in such a way that it is formalized by means of a bou…
Special filters in bounded lattices
Ivan Chajda, Miroslav Kolařík, Helmut Länger
M.S. Rao recently investigated some sorts of special filters in distributive pseudocomplemented lattices. In our paper we extend this study to lattices which need neither be distri…
The logic of effect algebras incorporating time dimension
Ivan Chajda, Helmut Länger
Effect algebras were introduced in order to describe the structure of effects, i.e. events in quantum mechanics. They are partial algebras describing the logic behind the correspon…
Implication in sharply paraorthomodular and relatively paraorthomodular posets
Ivan Chajda, Davide Fazio, Helmut Länger +2
In this paper we show that several classes of partially ordered structures having paraorthomodular reducts, or whose sections may be regarded as paraorthomodular posets, admit a qu…
The logic with unsharp implication and negation
Ivan Chajda, Helmut Länger
It is well-known that intuitionistic logics can be formalized by means of Brouwerian semilattices, i.e. relatively pseudocomplemented semilattices. Then the logical connective impl…