8 problems

The paper considers a reversible quantum measurement performed by a hypothetical insider observer, equivalently a quantum measurement in a quantum-space background such as the fuzz…

WOML extension conjecture. The theorem should hold in any weakly orthomodular lattice.

Consider the diagram of constructive quantum logics, whose nodes include classical logic, intuitionistic logic, orthologic, Ex-logic, fundamental logic and the intermediate logics…

Orthologic is the logic of quantum propositions, while intuitionistic logic is constructive logic; consider the implication-free fragment of intuitionistic logic in the signature…

Let $|\Psi\rangle$ be a quantum state, let $\hat{P}$ be the operator associated with an experimental proposition, and let $v$ be the function assigning images to truth values. Valu…

Logical uncertainty-relations conjecture. This feature should lead to a logical formulation of the uncertainty relations.

Let $L$ be an irreducible, complete and continuous lattice such that every element is the supremum of a family of minimal elements and $1$ is the supremum of a countable family of…

Let $L$ be an irreducible and continuous lattice with minimal elements, and let $n$ be the cardinality of one of its affine references. An involutory anti-automorphism is a map…