Related papers: Quantale semantics of Lambek calculus with subexpo…
Let us consider a Lie (super)algebra $G$ spanned by $T_{\alpha}$ where $T_{\alpha}$ are quantum observables in BV-formalism. It is proved that for every tensor $c^{\alpha_1...\alpha_k}$ that determines a homology class of the Lie algebra…
In this paper we extend some results obtained by Artamonov and Sabitov for quantum polynomials to skew quantum polynomials and quasi-commutative bijective skew PBW extensions. Moreover, we find a counterexample to the conjecture proposed in…
In this paper, we introduce a Kantorovich version of the Bernstein-type logarithmic operators. The idea comes from the wide literature concerning exponential polynomials that preserve exponential functions: here, the exponential weights are…
We introduce the categories of quasi-measurable spaces, which are slight generalizations of the category of quasi-Borel spaces, where we now allow for general sample spaces and less restrictive random variables, spaces and maps. We show…
We introduce the $L_!^S$-calculus, a linear lambda-calculus extended with scalar multiplication and term addition, that acts as a proof language for intuitionistic linear logic (ILL). These algebraic operations enable the direct expression…
The first author and Latr\'emoli\`ere had introduced a quantum metric (in the sense of Rieffel) on the algebra of complex-valued continuous functions on the Cantor space. We show that this quantum metric is distinct from the quantum metric…
In this paper we produce seven new algebras as confluences of the Cherednik algebra of type \check{C_1}C_1 and we characterise their spherical-sub-algebras. The limit of the spherical sub-algebra of the Cherednik algebra of type…
Schubert calculus has been in the intersection of several fast developing areas of mathematics for a long time. Originally invented as the description of the cohomology of homogeneous spaces it has to be redesigned when applied to other…
In this paper we construct Stancu type q-Kantrovich-Sz\'asz-Mirakjan operators generated by Dunkl generalization of the exponential function. We obtain some approximation results using the Korovkin approximation theorem and the weighted…
A theory of quasi modules at infinity for (weak) quantum vertex algebras including vertex algebras was previously developed in \cite{li-infinity}. In this current paper, quasi modules at infinity for vertex algebras are revisited. Among the…
We study the representations of the quantum Galilei group by a suitable generalization of the Kirillov method on spaces of non commutative functions. On these spaces we determine a quasi-invariant measure with respect to the action of the…
The paper deals with the analytic theory of the quantum q-deformed Toda chain; the technique used combines the methods of representation theory and the Quantum Inverse Scattering Method. The key phenomenon which is under scrutiny is the…
We consider the Lambek calculus, or non-commutative multiplicative intuitionistic linear logic, extended with iteration, or Kleene star, axiomatised by means of an $\omega$-rule, and prove that the derivability problem in this calculus is…
We introduce the construction of induced corepresentations in the setting of locally compact quantum groups and prove that the resulting induced corepresentations are unitary under some mild integrability condition. We also establish a…
We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic…
We consider the isomonodromic formulation of the Calogero-Painlev\'e multi-particle systems and proceed to their canonical quantization. We then proceed to the quantum Hamiltonian reduction on a special representation to radial variables,…
This paper investigates second-order representations in the sense of Kawamura and Cook for spaces of integrable functions that regularly show up in analysis. It builds upon prior work about the space of continuous functions on the unit…
Using the skew-symmetry of the differential operators and multiplication operators in the canonical representations of finite-dimensional classical Lie algebras, we obtain some noncanonical polynomial representations of the classical Lie…
The paper explores properties of {\L}ukasiewicz mu-calculus, a version of the quantitative/probabilistic modal mu-calculus containing both weak and strong conjunctions and disjunctions from {\L}ukasiewicz (fuzzy) logic. We show that this…
Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they…