25 citations · 39 across the 40 of their papers we have counts for
4 papers · 2 filters
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…