Related papers: Quantale semantics of Lambek calculus with subexpo…
Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration. For this new operation, following its natural…
We introduce k-quantifier logics -- logics with access to k-tuples of elements and very general quantification patterns for transitions between k-tuples. The framework is very expressive and encompasses e.g. the k-variable fragments of…
This chapter, from the Routledge Companion to the Philosophy of Physics (Eleanor Knox and Alastair Wilson, eds., 2021), is an overview of the constraints that relativity places on interpretations of quantum theory. It focuses on four main…
The exponential modalities of linear logic have been used by various authors to model infinite-dimensional quantum systems. This paper explains how these modalities can also give rise to the complementarity principle of quantum mechanics.…
We introduce sound and complete labelled sequent calculi for the basic normal non-distributive modal logic L and some of its axiomatic extensions, where the labels are atomic formulas of the first order language of enriched formal contexts,…
A modal logic based on quantum logic is formalized in its simplest possible form. Specifically, a relational semantics and a sequent calculus are provided, and the soundness and the completeness theorems connecting both notions are…
Quantitative (or controlled) $K$-theory for $C^*$-algebras was used by Guoliang Yu in his work on the Novikov conjecture, and later developed more formally by Yu together with Herv\'e Oyono-Oyono. In this paper, we extend their work by…
Bilinear pseudodifferential operators with symbols in the bilinear analog of all the H\"ormander classes are considered and the possibility of a symbolic calculus for the transposes of the operators in such classes is investigated. Precise…
A formal description of a quantum abacus based encoding system is presented. This way of representing data for processing purposes is based on a quantum algorithm for counting qubits introduced by Lesovik et al. \cite{LesovikEtal2010} and…
We introduce deformations of Kazhdan-Lusztig elements and specialised nonsymmetric Macdonald polynomials, both of which form a distinguished basis of the polynomial representation of a maximal parabolic subalgebra of the Hecke algebra. We…
The Lichtenbaum-Quillen conjecture for smooth complex varieties states that algebraic and topological K-theory with finite coefficients become isomorphic in high degrees. We define the "Lichtenbaum-Quillen dimension" of a variety in terms…
In this paper, a new mathematical method of electrical circuits calculus is proposed based on the theory of the complex linear operators in matrix form. The newly proposed method generalizes the theory of complex representation of…
We introduce the concept of compact quantitative equational theory. A quantitative equational theory is defined to be compact if all its consequences are derivable by means of finite proofs. We prove that the theory of interpolative…
We extend the homological method of quantization of generalized Drinfeld--Sokolov reductions to affine superalgebras. This leads, in particular, to a unified representation theory of superconformal algebras.
In the present paper, we endow the logics of topological quasi Boolean algebras, topological quasi Boolean algebras 5, intermediate algebras of types 1-3, and pre-rough algebras with proper multi-type display calculi which are sound,…
The notion of relative cuspidality for distinguished representations attached to $p$-adic symmetric spaces is introduced. A characterization of relative cuspidality in terms of Jacquet modules is given and a generalization of Jacquet's…
By extending the classical quantitative approximation results for positive and linear operators in $L^{p}([0, 1]), 1\le p \le +\infty$ of Berens and DeVore in 1978 and of Swetits and Wood in 1983 to the more general case of sublinear,…
A general formulation of classical relativistic particle mechanics is presented, with an emphasis on the fact that superluminal velocities and nonlocal interactions are compatible with relativity. Then a manifestly relativistic-covariant…
We propose a new methodology, called numerical canonical quantization, to solve quantum Maxwell's equations useful for mathematical modeling of quantum optics physics, and numerical experiments on arbitrary passive and lossless…
We introduce $\omega$-catoids as generalisations of (strict) $\omega$-categories and in particular the higher path categories generated by computads or polygraphs in higher-dimensional rewriting. We also introduce $\omega$-quantales that…