Quantum logics representable as kernels of measures

Mirko Navara

The search session has expired. Please query the service again.

Displaying similar documents to “Quantum logics representable as kernels of measures”

On the number of monotonic functions from two-valued logic to $k$ -valued logic

Juraj Hromkovič (1985)

Kybernetika

Similarity:

On centers and state spaces of logics

Pták, Pavel

Similarity:

A Loomis-Sikorski theorem for logics

Jiří Binder (1988)

Mathematica Slovaca

Similarity:

Modal Boolean Connexive Logics: Semantics and Tableau Approach

Tomasz Jarmużek, Jacek Malinowski (2019)

Bulletin of the Section of Logic

Similarity:

In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without...

Concrete quantum logics with generalised compatibility

Josef Tkadlec (1998)

Mathematica Bohemica

Similarity:

We present three results stating when a concrete (=set-representable) quantum logic with covering properties (generalization of compatibility) has to be a Boolean algebra. These results complete and generalize some previous results [3, 5] and answer partiallz a question posed in [2].

Displaying similar documents to “Quantum logics representable as kernels of measures”

On the number of monotonic functions from two-valued logic to k -valued logic

On centers and state spaces of logics

A Loomis-Sikorski theorem for logics

Modal Boolean Connexive Logics: Semantics and Tableau Approach

Concrete quantum logics with generalised compatibility

On the number of monotonic functions from two-valued logic to $k$ -valued logic