Page 1

Displaying 1 – 13 of 13

Showing per page

The axioms for implication in orthologic

Ivan Chajda (2008)

Czechoslovak Mathematical Journal

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 existence of states on every Archimedean atomic lattice effect algebra with at most five blocks

Zdena Riečanová (2008)

Kybernetika

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...

Currently displaying 1 – 13 of 13

Page 1