25 citations · 93 across the 57 of their papers we have counts for
38 papers · 1 filter
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…
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…
The logic of quantum mechanics incorporating time dimension
Ivan Chajda, Helmut Länger
Similarly as classical propositional calculus is based algebraically on Boolean algebras, the logic of quantum mechanics was based on orthomodular lattices by G. Birkhoff and J. vo…
Tense logic based on finite orthomodular posets
Ivan Chajda, Helmut Länger
It is widely accepted that the logic of quantum mechanics is based on orthomodular posets. However, such a logic is not dynamic in the sense that it does not incorporate time dimen…