Tensor products of sequential effect algebras
The axioms for implication in orthologic
We set up axioms characterizing logical connective implication in a logic derived by an ortholattice. It is a natural generalization of an orthoimplication algebra given by J. C. Abbott for a logic derived by an orthomodular lattice.
The Brooks-Jewett theorem for -triangular functions
The entropy on -quantum spaces
The existence of states on every Archimedean atomic lattice effect algebra with at most five blocks
Effect algebras are very natural logical structures as carriers of probabilities and states. They were introduced for modeling of sets of propositions, properties, questions, or events with fuzziness, uncertainty or unsharpness. Nevertheless, there are effect algebras without any state, and questions about the existence (for non-modular) are still unanswered. We show that every Archimedean atomic lattice effect algebra with at most five blocks (maximal MV-subalgebras) has at least one state, which...
The lattice structure of quantum logics
The measure extension theorem for subadditive measures in -continuous logics
The measure extension theorem for subadditive probability measures in orthomodular -continuous lattices
Tibor Neubrunn (1929 – 1990) [Book]
Topological difference posets
Topologies in atomic quantum logics
Topologies on quantum logics induced by measures
Two-valued states on a concrete logic and the additivity problem