4 citations · 13 across the 28 of their papers we have counts for
7 papers · 1 filter
Logical and algebraic properties of generalized orthomodular posets
Ivan Chajda, Helmut Länger
Generalized orthomodular posets were introduced recently by D. Fazio, A. Ledda and the first author of the present paper in order to establish a useful tool for studying the logic…
Filters and congruences in sectionally pseudocomplemented lattices and posets
Ivan Chajda, Helmut Länger
In our previous papers, together with J. Paseka we introduced so-called sectionally pseudocomplemented lattices and posets and illuminated their role in algebraic constructions. We…
Consistent posets
Ivan Chajda, Helmut Länger
We introduce so-called consistent posets which are bounded posets with an antitone involution ' where the lower cones of x,x' and of y,y' coincide provided x,y are different form 0…
Extensions of posets with an antitone involution to residuated structures
Ivan Chajda, Miroslav Kolařík, Helmut Länger
We prove that every not necessarily bounded poset P=(P,\le,') with an antitone involution can be extended to a residuated poset E(P)=(E(P),\le,\odot,\rightarrow,1) where x'=x\right…
The logic of orthomodular posets of finite height
Ivan Chajda, Helmut Länger
Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. The question is how to introduce the connective implication in such a logic. We show that thi…
The logic induced by effect algebras
Ivan Chajda, Radomír Halaš, Helmut Länger
Effect algebras form an algebraic formalization of the logic of quantum mechanics. For lattice effect algebras E we investigate a natural implication and prove that the implication…