Related papers: Quantale semantics of Lambek calculus with subexpo…

We study atom canonicity for several varieties of cylindric like algebras that contain properly the variety of representable algebras. The algebras in such varieties have relativized representations, and we thereby obtain many omitting…

Generators and relations are given for the subalgebra of cocommutative elements in the quantized coordinate rings of the classical groups, where the deformation parameter q is transcendental. This is a ring theoretic formulation of the well…

In this article we discuss the contextual character of quantum mechanics in the framework of modal interpretations. We investigate its historical origin and relate contemporary modal interpretations to those proposed by M. Born and W.…

The syntactic calculus of Lambek is a deductive system for the multiplicative fragment of intuitionistic non-commutative linear logic. As a fine-grained calculus of resources, it has many applications, mostly in formal computational…

Following and developing ideas of R. Karasev (Covering dimension using toric varieties, arXiv:1307.3437), we extend the Lebesgue theorem (on covers of cubes) and the Knaster-Kuratowski-Mazurkiewicz theorem (on covers of simplices) to…

This paper studies nested sequents for quantified modal logics. In particular, it considers extensions of the propositional modal logics definable by the axioms D, T, B, 4, and 5 with varying, increasing, decreasing, and constant domains.…

The quantum cosmological version of a nonsingular Universe presented by Mukhanov and Brandenberger in the early nineties has been developed and the Hamilton Jacobi equation has been found under semiclassical (WKB) approximation. It has been…

In this paper we introduce several quantitative methods for the lambda-calculus based on partial metrics, a well-studied variant of standard metric spaces that have been used to metrize non-Hausdorff topologies, like those arising from…

We contend that what are called Linear Canonical Transforms (LCTs) should be seen as a part of the theory of unitary irreducible representations of the '2+1' Lorentz group. The integral kernel representation found by Collins, Moshinsky and…

We study the representations of the W-algebra W(g) associated to an arbitrary finite-dimensional simple Lie algebra g via the quantized Drinfeld-Sokolov reductions. The characters of irreducible representations with non-degenerate highest…

Fitch-style modal deduction, in which modalities are eliminated by opening a subordinate proof, and introduced by shutting one, were investigated in the 1990s as a basis for lambda calculi. We show that such calculi have good computational…

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…

We study the S5-modal expansion of the logic based on the Lukasiewicz t-norm. We exhibit a finitary propositional calculus and show that it is finitely strongly complete with respect to this logic. This propositional calculus is then…

Given a minuscule representation of a simple Lie algebra, we find an algebraic model for the action of a regular element and show that these models can be glued together over the adjoint quotient, viewed as the set of all regular conjugacy…

In this paper we establish a new characterization of 4-valued modal algebras considered by A. Monteiro. In order to obtain this characterization we introduce a new class of algebras named generalized I-algebras. This class contains strictly…

We consider epimorphisms from quantum minimal surface algebras onto involutroy subalgebras of split real simply-laced Kac-Moody algebras and provide examples of affine and finite type. We also provide epimorphisms onto such Kac-Moody…

We introduce an extension of the propositional calculus to include abstracts of predicates and quantifiers, employing a single rule along with a novel comprehension schema and a principle of extensionality, which are substituted for the…

In quantum mechanics, the measureable quantities of a given theory are predicted by performing a weighted sum over possibilities. We show how to arrange the possibilities into bundles such that the associated subsums can be viewed as…

Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive…

These are lecture notes of a minicourse given by the first author at the Summer School on Quantization at the University of Notre Dame in June 2011. The notes were written up and expanded by the second author who took the liberty of adding…