Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 2019

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Probability measures and logical connectives on quantum logics

Nánásiová Oľga, Valášková Ľubica, Čerňanová Viera

Journal of Automation Mobile Robotics and Intelligent Systems

2019

Vol. 13, No. 3

64--73

The present paper is devoted to modelling of a probabi‐ lity measure of logical connectives on a quantum logic via a G‐map, which is a special map on it. We follow the work in which the probability of logical conjunction (AND), dis‐ junction (OR), symmetric difference (XOR) and their nega‐ tions for non‐compatible propositions are studied. Now we study all remaining cases of G‐maps on quantum lo‐ gic, namely a probability measure of projections, of impli‐ cations, and of their negations. We show that unlike clas‐ sical (Boolean) logic, probability measures of projections on a quantum logic are not necessarilly pure projections. We indicate how it is possible to define a probability me‐ asure of implication using a G‐map in the quantum logic, and then we study some properties of this measure which are different from a measure of implication in a Boolean algebra. Finally, we compare the properties of a G‐map with the properties of a probability measure related to logical connectives on a Boolean algebra.