Related papers: Tense logic based on finite orthomodular posets
We put forward a new take on the logic of quantum mechanics, following Schroedinger's point of view that it is composition which makes quantum theory what it is, rather than its particular propositional structure due to the existence of…
For operators representing ill-posed problems, an ordering by ill-posedness is proposed, where one operator is considered more ill-posed than another one if the former can be expressed as a cocatenation of bounded operators involving the…
Thermal machines are physical systems designed to convert thermal energy into practical work through cyclic state transformations. A key component in such a machine is a clock-equipped control element that dictates which interaction…
On one hand, termination analysis of logic programs is now a fairly established research topic within the logic programming community. On the other hand, non-termination analysis seems to remain a much less attractive subject. If we divide…
Tarski gave a general semantics for deductive reasoning: a formula a may be deduced from a set A of formulas iff a holds in all models in which each of the elements of A holds. A more liberal semantics has been considered: a formula a may…
In temporal logics, a central question is about the choice of modalities and their relative expressive power, in comparison to the complexity of decision problems such as satisfiability. In this tutorial, we will illustrate the study of…
The model of the position-dependent noncommutativety in quantum mechanics is proposed. We start with a given commutation relations between the operators of coordinates [x^{i},x^{j}]=\omega^{ij}(x), and construct the complete algebra of…
A two boundary quantum mechanics without time ordered causal structure is advocated as consistent theory. The apparent causal structure of usual "near future" macroscopic phenomena is attributed to a cosmological asymmetry and to rules…
Motivated by the Hilbert-space model for quantum mechanics, we define a pre-Hilbert space logic to be a pair $(S,\el)$, where $S$ is a pre-Hilbert space and $\el$ is an orthocomplemented poset of orthogonally closed linear subspaces of $S$,…
We study tent spaces on general measure spaces $(\Omega, \mu)$. We assume that there exists a semigroup of positive operators on $L^p(\Omega, \mu)$ satisfying a monotone property but do not assume any geometric/metric structure on $\Omega$.…
We study a composition operation on monads, equivalently presented as large equational theories. Specifically, we discuss the existence of tensors, which are combinations of theories that impose mutual commutation of the operations from the…
A dynamic logic ${\mathbf B}$ can be assigned to every automaton ${\mathcal A}$ without regard if ${\mathcal A}$ is deterministic or nondeterministic. This logic enables us to formulate observations on ${\mathcal A}$ in the form of composed…
This paper presents some of the basic properties of conditioned observables in finite-dimensional quantum mechanics. We begin by defining the sequential product of quantum effects and use this to define the sequential product of two…
The eigenfunctions and eigenvalues of orbital angular momentum operator on noncommutative lattice for a circle poset by theta-quantization are constructed, and it is demonstrated that they are equivalent to those of the conventional quantum…
In thermodynamics, quantum coherences - superpositions between energy eigenstates - behave in distinctly nonclassical ways. Recently mathematical frameworks have emerged to account for these features and have provided a range of novel…
This paper presents an alternative approach to quantum entanglement, one that effectively resolves the logical inconsistencies without leading to logical contradictions. By addressing some of the inconsistencies within quantum mechanics,…
Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated planning, process modelling, (runtime) verification and…
In this paper we discuss some physical applications of topological *-algebras of unbounded operators. Our first example is a simple system of free bosons. Then we analyze different models which are related to this one. We also discuss the…
We in this paper show that omega regular languages are not closed under infinite union and intersection. As an attempt, we propose to add step variables and quantifiers to temporal logics to enhance the expressiveness of the underlying…
The Hermiticity condition in quantum mechanics required for the characterisation of (a) physical observables and (b) generators of unitary motions can be relaxed into a wider class of operators whose eigenvalues are real and whose…