Related papers: Generalized quantifiers in Dependence Logic
Two generalizations of Kempf's quadratic canonical commutation relation in one dimension are considered. The first one is the most general quadratic commutation relation. The corresponding nonzero minimal uncertainties in position and…
A new notion of typicality for arbitrary probability measures on standard Borel spaces is proposed, which encompasses the classical notions of weak and strong typicality as special cases. Useful lemmas about strong typical sets, including…
We study the expressive power of fragments of inclusion and independence logic defined by restricting the number k of universal quantifiers in formulas. Assuming the so-called strict semantics for these logics, we relate these fragments of…
From various points of view it is argued that one may find phenomena similar to the quantum effects also in macroscopic cases. This forces one to give up as a general requirement the assumption of realism as formulated by Gill and others.…
The paper discusses from a metaphysical standpoint the nature of the dependence relation underpinning the talk of mutual action between material and spatiotemporal structures in general relativity. It is shown that the standard analyses of…
Elimination of quantifiers is shown to fail dramatically for a group of well-known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by…
We clarify the conditions for Birkhoff's theorem, that is, time-independence in general relativity. We work primarily at the linearized level where guidance from electrodynamics is particularly useful. As a bonus, we also derive the…
This paper considers the complexity and properties of KLM-style preferential reasoning in the setting of propositional logic with team semantics and dependence atoms, also known as propositional dependence logic. Preferential team-based…
Recently, Solecki introduced the notion of Ramsey monoid to produce a common generalization to theorems such as Hindman's theorem, Carlson's theorem, and Gowers' FIN$_k$ theorem. He proved that an entire class of finite monoids is Ramsey.…
The author investigates the general Lie algebra of operators of coordinates, momenta, and Lorentz group generators, which can be used in quantum gravity, theories with generalized uncertainty principle, double and triple relativity and…
Ordinary and gl(n,R) generalized Toda systems as well as a related hierarchy are probed with respect to certain quantization characteristics. "Quantum" canonical and Poisson transformations are used to study quantizations of transformed…
Possible generalizations of quantum theory permitting to describe in a unique way the development of the quantum system and the measurement process are discussed. The approach to the problem based on the Lindblad's equation for the…
It has long been recognized that lattice gauge theory formulations, when applied to general relativity, conflict with the invariance of the theory under diffeomorphisms. Additionally, the traditional lattice field theory approach consists…
We present a notion of generalized entanglement which goes beyond the conventional definition based on quantum subsystems. This is accomplished by directly defining entanglement as a property of quantum states relative to a distinguished…
A general theory is presented of quantum mechanics of singular, non-autonomous, higher derivative systems. Within that general theory, $n$-th order and $m$-th order Lagrangians are shown to be quantum mechanically equivalent if their…
It has been widely acknowledged that probabilistic independence and logical independence cannot be coherently reconciled. By bridging these two notions, this paper addresses three long-standing problems that have puzzled the field of…
We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…
We study Sorkin's proposal of a generalization of quantum mechanics and find that the theories proposed derive their probabilities from $k$-th order polynomials in additive measures, in the same way that quantum mechanics uses a probability…
In this paper, we introduce and investigate monadic NM-algebras: a variety of NM-algebras equipped with universal quantifiers. Also, we obtain some conditions under which monadic NM-algebras become monadic Boolean algebras. Besides, we show…
We present a quantum version of the generalized $(h,\phi)$-entropies, introduced by Salicr\'u \textit{et al.} for the study of classical probability distributions. We establish their basic properties, and show that already known quantum…