Related papers: Quantale semantics of Lambek calculus with subexpo…
While it was defined long ago, the extension of CTL with quantification over atomic propositions has never been studied extensively. Considering two different semantics (depending whether propositional quantification refers to the Kripke…
We begin a study of the representation theory of quantum continuous $\mathfrak{gl}_\infty$, which we denote by $\mathcal E$. This algebra depends on two parameters and is a deformed version of the enveloping algebra of the Lie algebra of…
In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, $\lambda_\rho$, follows the approach of classical control/quantum data, where the quantum data is represented by density matrices. We provide…
Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical…
In a previous paper, we showed that profinite $L$-algebras (where $L$ is a variety of modal algebras generated by its finite members) are monadic over $\mathbf{Set}$. This monadicity result suggests that profinite $L$-algebras could be…
As part of their construction of the Khovanov spectrum, Lawson, Lipshitz and Sarkar assigned to each cube in the Burnside category of finite sets and finite correspondences, a finite cellular spectrum. In this paper we extend this…
Infinitesimal holomorphic realizations for the Schr\"{o}dinger-Weil representation and the discrete series representations of the Jacobi group are constructed. Explicit expressions of the basic differential operators are obtained. The…
A representation of the quadratic Dirac equation and the Maxwell equations in terms of the three-dimensional universal complex Clifford algebra is given. The investigation considers a subset of the full algebra, which is isomorphic to the…
In this paper we introduce a multiparameter version of the quantum universal enveloping superalgebras introduced by Yamane in [H. Yamane, "Quantized enveloping algebras associated to simple Lie superalgebras and their universal…
Multivariate extensions of the Krawtchouk polynomials have been studied by numerous authors in recent decades by exploring new connections to probability, representation theory and quantum integrability. We develop a theory of multivariate…
Ontological theories of quantum mechanics describe a single system by means of well-defined classical variables and attribute the quantum uncertainties to our ignorance about the underlying reality represented by these variables. We…
We introduce a graphical calculus for the representation theory of the quantized enveloping algebra of type $F_4$. We do this by giving a diagrammatic description of the category of invariant tensors on the 26-dimensional fundamental…
Lambeks Syntactic Calculus, commonly referred to as the Lambek calculus, was innovative in many ways, notably as a precursor of linear logic. But it also showed that we could treat our grammatical framework as a logic (as opposed to a…
In this note we describe conditions under which, in idempotent functional analysis, linear operators have integral representations in terms of idempotent integral of V. P. Maslov. We define the notion of nuclear idempotent semimodule and…
We study Milner's lambda-calculus with partial substitutions. Particularly, we show confluence on terms and metaterms, preservation of \b{eta}-strong normalisation and characterisation of strongly normalisable terms via an intersection…
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…
Building on the theory of quantum posets, we introduce a non-commutative version of suplattices, i.e., complete lattices whose morphisms are supremum-preserving maps, which form a step towards a new notion of quantum topological spaces. We…
A new class of algebras have been introduced by Khovanov and Lauda and independently by Rouquier. These algebras categorify one-half of the Quantum group associated to arbitrary Cartan data. In this paper, we use the combinatorics of Lyndon…
Modal probabilistic logics provide a framework for reasoning about probability in modal contexts, involving notions such as knowledge, belief, time, and action. In this paper, we study a particular family of these logics, extending the…
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model…