Related papers: Generalized quantifiers in Dependence Logic
Recently, the separated fragment (SF) of first-order logic has been introduced. Its defining principle is that universally and existentially quantified variables may not occur together in atoms. SF properly generalizes both the…
Generalizations of the q-Onsager algebra are introduced and studied. In one of the simplest case and q=1, the algebra reduces to the one proposed by Uglov-Ivanov. In the general case and $q\neq 1$, an explicit algebra homomorphism…
Independence and conditional independence are fundamental concepts for reasoning about groups of random variables in probabilistic programs. Verification methods for independence are still nascent, and existing methods cannot handle…
The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…
The entanglement theory in quantum systems with internal symmetries is rich due to the spontaneous creation of entangled pairs of charge/anti-charge particles at the entangling surface. We call these pair creation operators the bi-local…
We generalise well-known integrals of Ingham-Siegel and Fisher-Hartwig type over the unitary group $U(N)$ with respect to Haar measure, for finite $N$ and including fixed external matrices. When depending only on the eigenvalues of the…
Logical entropy gives a measure, in the sense of measure theory, of the distinctions of a given partition of a set, an idea that can be naturally generalized to classical probability distributions. Here, we analyze how fundamental concepts…
Using the newly introduced general ordering theorem (GOT) by Sh\"ahandeh and Bazrafkan, we derive and generalize some quantum optical identities and give their applications.
We are interested in investigating some definitions and assumptions stated in [4], in particular the notions of measurability and atomicity that the two authors used in order to give a representation for multiplicative linear functionals…
We propose a link between logical independence and quantum physics. We demonstrate that quantum systems in the eigenstates of Pauli group operators are capable of encoding mathematical axioms and show that Pauli group quantum measurements…
We can measure the complexity of a logical formula by counting the number of alternations between existential and universal quantifiers. Suppose that an elementary first-order formula $\varphi$ (in $\mathcal{L}_{\omega,\omega}$) is…
A modification of the canonical quantization procedure for systems with time-dependent second-class constraints is discussed and applied to the quantization of the relativistic particle in a plane wave. The time dependence of constraints…
Using a key observation due to Thiemann, a generalized Wick transform is introduced to map the constraint functionals of Riemannian general relativity to those of the Lorentzian theory, including matter sources. This opens up a new avenue…
We introduce uniparametric and multiparametric quantisations of the general linear supergroup, in the form of "quantised function algebras", both in a formal setting - yielding "quantum formal series Hopf superalgebras", a` la Drinfeld -…
In this article, we give a definition for measured quantum groupoids. We want to get objects with duality extending both quantum groups and groupoids. We base ourselves on J. Kustermans and S. Vaes' works about locally compact quantum…
In this paper, we elaborate on the ordered-pair semantics originally presented by Matthew Clemens for LP (Priest's Logic of Paradox). For this purpose, we build on a generalization of Clemens semantics to the case of n-tuple semantics, for…
We introduce a generalization of entanglement based on the idea that entanglement is relative to a distinguished subspace of observables rather than a distinguished subsystem decomposition. A pure quantum state is entangled relative to such…
Henkin, Monk and Tarski gave a compositional semantics for first-order predicate logic. We extend this work by including function symbols in the language and by giving the denotation of the atomic formula as a composition of the denotations…
The classical Khintchine-Groshev theorem is a generalization of Khintchine's theorem on simultaneous Diophantine approximation, from approximation of points in $\mathbb R^m$ to approximation of systems of linear forms in $\mathbb R^{nm}$.…
Generalization of the recent Taylor-Polchinski argument is presented, which helps to explain quantization of RR charges in IIA-like theories in the presence of cohomologically trivial H-fields.