Related papers: Tense logic based on finite orthomodular posets
The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-definable in a basic similarity type with a binary operator…
Quantum logical axiomatic systems for quantum theory usually include a postulate that a lattice under consideration is orthomodular. We propose a derivation of orthomodularity from an information-theoretic axiom. This provides conceptual…
The use of a tensor product perspective has enriched functional analysis and other important areas of mathematics and physics. The context of operator spaces is clearly no exception. The aim of this manuscript is to kick off the development…
Substructural logics are formal logical systems that omit familiar structural rules of classical and intuitionistic logic such as contraction, weakening, exchange (commutativity), and associativity. This leads to a resource-sensitive…
A self-adjoint operator with dimensions of time is explicitly constructed, and it is shown that its complete and orthonormal set of eigenstates can be used to define consistently a probability distribution of the time of arrival at a…
Motivated by the study of the operator forms of the constant classical Yang-Baxter equation given by Semonov-Tian-Shansky, Kupershmidt and the others, we try to construct the rational solutions of the classical Yang-Baxter equation with…
We consider the standard quantum logic ${\mathcal L}(H)$ associated to a complex Hilbert space $H$, i.e. the lattice of closed subspaces of $H$ together with the orthogonal complementation. The orthogonality and compatibility relations are…
In many real-life settings, agents must navigate dynamic environments while reasoning under incomplete information and acting on a corpus of unstable, context-dependent, and often conflicting norms. We introduce a general, non-modal,…
The fundamental dynamics of quantum particles is neutral with respect to the arrow of time. And yet, our experiments are not: we observe quantum systems evolving from the past to the future, but not the other way round. A fundamental…
A consistent classical mechanics formulation is presented in such a way that, under quantization, it gives a noncommutative quantum theory with interesting new features. The Dirac formalism for constrained Hamiltonian systems is strongly…
Tensor completion is a natural higher-order generalization of matrix completion where the goal is to recover a low-rank tensor from sparse observations of its entries. Existing algorithms are either heuristic without provable guarantees,…
We survey all known examples of finite posets whose order polynomials have product formulas, and we propose the heuristic that these are the same posets with good dynamical behavior. Here the dynamics in question are the actions of…
We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is…
The development of compositional distributional models of semantics reconciling the empirical aspects of distributional semantics with the compositional aspects of formal semantics is a popular topic in the contemporary literature. This…
A class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of…
The aim of this paper is twofold. First, we obtain the explicit exact formal solutions of differential equations of different types in the form with Dyson chronological operator exponents. This allows us to deal directly with the solutions…
We study some natural operators acting on configurations of points and lines in the plane and remark that many interesting configurations are fixed points for these operators. We review ancient and recent results on line or point…
Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study…
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running systems. One can consider more general models for linear time,…
Justification logics are special kinds of modal logics which provide a framework for reasoning about epistemic justifications. For this, they extend classical boolean propositional logic by a family of necessity-style modal operators "t:",…