Related papers: A Class of Generalised Quantifiers for k-Variable …
We introduce a family of modal expansions of {\L}ukasiewicz logic that are designed to accommodate modal translations of generalized basic logic (as formulated with exchange, weakening, and falsum). We further exhibit algebraic semantics…
We develop equivariant KK-theory for locally compact groupoid actions by Morita equivalences on real and complex graded C*-algebras. Functoriality with respect to generalised morphisms and Bott periodicity are discussed. We introduce…
The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-order logic that is invariant under bisimulation. In this article we prove an exact analogue of this theorem in the framework of modal…
A mathematically well-defined, manifestly covariant theory of classical and quantum field is given, based on Euclidean Poisson algebras and a generalization of the Ehrenfest equation, which implies the stationary action principle. The…
We introduce a bivariant version of the Cuntz semigroup as equivalence classes of order zero maps generalizing the ordinary Cuntz semigroup. The theory has many properties formally analogous to KK-theory including a composition product. We…
There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics and relies on efficient model checking…
We explore an inquisitive modal logic designed to reason about neighborhood models. This logic is based on an inquisitive strict conditional operator, which quantifies over neighborhoods, and which can be applied to both statements and…
An enlarged group G of nonlinear transformations, modeled on the general linear group GL(2,R), leads to a beautiful, apparently unremarked symmetry between the wave function's phase and the logarithm of its amplitude. Equations Doebner and…
These notes describe some links between the group $\mathrm{SL}_2(\mathbb{R})$, the Heisenberg group and hypercomplex numbers---complex, dual and double numbers. Relations between quantum and classical mechanics are clarified in this…
Star products on the classical double group of a simple Lie group and on corresponding symplectic grupoids are given so that the quantum double and the "quantized tangent bundle" are obtained in the deformation description. "Complex"…
It is shown that q-deformed quantum mechanics (systems with q-deformed Heisenberg commutation relations) can be interpreted as an ordinary quantum mechanics on Kaehler manifolds, or as a quantum theory with second (or first)- class…
Using a smooth version of the Connes--Thom isomorphism in Grensing's bivariant K-theory for locally convex algebras, we prove an equivariant version of the Connes--Thom isomorphism in periodic cyclic homology. As an application, we prove…
In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical logic, this abstract logic interprets formulas from context as subobjects in a specific category, e.g.,…
For a field $k$ we compute the $K$-theory of the exact category of $k[t_1,\dots,t_n]$-modules that are finite-dimensional over $k$, generalising the work of Kelley and Spanier.
The goal of this paper is to show that fundamental concepts in higher-order Fourier analysis can be nauturally extended to the non-commutative setting. We generalize Gowers norms to arbitrary compact non-commutative groups. On the…
K-theory provides a framework for classifying Ramond-Ramond (RR) charges and fields. K-theory of manifolds has a natural extension to K-theory of noncommutative algebras, such as the algebra considered in noncommutative Yang-Mills theory or…
We generalize two classical homotopy theory results, the Blakers-Massey Theorem and Quillen's Theorem B, to G-equivariant cubical diagrams of spaces, for a discrete group G. We show that the equivariant Freudenthal suspension Theorem for…
Using the Kleisi category of the Giry monad the deterministic existential and universal quantifiers are generalized to incorporate nondeterminism. These probabilistic quantifiers are quantified over the points of the category which are…
We give Hennessy-Milner classes for intuitionistic, dual-intuitionistic and bi-intuitionistic logic interpreted in intuitionistic Kripke models, and generalise these results to modal (dual- and bi-)intuitionistic logics. Our main technical…
We discuss the quantization of a class of relativistic fluid models defined in terms of one real and two complex conjugate potentials with values on a K\"{a}hler manifold, and parametrized by the K\"{a}hler potential $K(z,\bar{z})$ and a…