Add to ORKGsummary:We prove that an orthomodular lattice can be considered as a groupoid with a distinguished element satisfying simple identities
summary:We investigate $\sqcap$-directoids which are bounded and equipped by a unary operation which...
AbstractThe paper studies hypergroupoids determined by lattices, especially giving necessary and suf...
summary:We investigate $\sqcap$-directoids which are bounded and equipped by a unary operation which...
summary:We prove that an orthomodular lattice can be considered as a groupoid with a distinguished e...
summary:We introduce the concept of Sheffer operation in ortholattices and, more generally, in latti...
summary:We introduce the concept of Sheffer operation in ortholattices and, more generally, in latti...
We involve a certain propositional logic based on ortholattices. We characterize the implicational r...
summary:The investigation of orthocomplemented lattices with a symmetric difference initiated the fo...
summary:The investigation of orthocomplemented lattices with a symmetric difference initiated the fo...
summary:The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics,...
summary:The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics,...
summary:We set up axioms characterizing logical connective implication in a logic derived by an orth...
summary:We set up axioms characterizing logical connective implication in a logic derived by an orth...
WOS: 000382700200006We deal with the generalized Orlicz-Morrey space of the third kind and consider ...
summary:We prove that an orthomodular lattice can be considered as a groupoid with a distinguished e...
summary:We investigate $\sqcap$-directoids which are bounded and equipped by a unary operation which...
AbstractThe paper studies hypergroupoids determined by lattices, especially giving necessary and suf...
summary:We investigate $\sqcap$-directoids which are bounded and equipped by a unary operation which...
summary:We prove that an orthomodular lattice can be considered as a groupoid with a distinguished e...
summary:We introduce the concept of Sheffer operation in ortholattices and, more generally, in latti...
summary:We introduce the concept of Sheffer operation in ortholattices and, more generally, in latti...
We involve a certain propositional logic based on ortholattices. We characterize the implicational r...
summary:The investigation of orthocomplemented lattices with a symmetric difference initiated the fo...
summary:The investigation of orthocomplemented lattices with a symmetric difference initiated the fo...
summary:The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics,...
summary:The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics,...
summary:We set up axioms characterizing logical connective implication in a logic derived by an orth...
summary:We set up axioms characterizing logical connective implication in a logic derived by an orth...
WOS: 000382700200006We deal with the generalized Orlicz-Morrey space of the third kind and consider ...
summary:We prove that an orthomodular lattice can be considered as a groupoid with a distinguished e...
summary:We investigate $\sqcap$-directoids which are bounded and equipped by a unary operation which...
AbstractThe paper studies hypergroupoids determined by lattices, especially giving necessary and suf...
summary:We investigate $\sqcap$-directoids which are bounded and equipped by a unary operation which...