Related papers: Disjunctive form and the modal $\mu$ alternation h…
We construct a subalgebra of the Hecke algebra of type A. This is a generalization of the group algebra of the alternating groups. All the equivalent classes of irreducible representations of the subalgebra and the q-analogue of the…
Approximation fixpoint theory (AFT) is an abstract and general algebraic framework for studying the semantics of nonmonotonic logics. It provides a unifying study of the semantics of different formalisms for nonmonotonic reasoning, such as…
This report presents an elementary theory of unification for positive conjunctive queries. A positive conjunctive query is a formula constructed from propositional constants, equations and atoms using the conjunction $\wedge$ and the…
This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation taking into account the existence of consistent arguments in favor of a conclusion and the…
Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough…
We present natural deduction systems and associated modal lambda calculi for the necessity fragments of the normal modal logics K, T, K4, GL and S4. These systems are in the dual-context style: they feature two distinct zones of…
Based on the matrix-resolvent approach, for an arbitrary solution to the discrete KdV hierarchy, we define the tau-function of the solution, and compare it with another tau-function of the solution defined via reduction of the Toda lattice…
Classical (or Boolean) type theory is the type theory that allows the type inference $\sigma \to \bot) \to \bot => \sigma$ (the type counterpart of double-negation elimination), where $\sigma$ is any type and $\bot$ is absurdity type. This…
We introduce the dual Koenigs lattices, which are the integrable discrete analogues of conjugate nets with equal tangential invariants, and we find the corresponding reduction of the fundamental transformation. We also introduce the notion…
We address some conjectures and open problems in "analysis of symmetries" which include the study of non-commutative harmonic analysis and discontinuous groups for reductive homogeneous spaces beyond the classical framework: (1) discrete…
We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing. In this work we take a coarser (and…
We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus with a linear…
This paper deals with some basic constructions of linear and multilinear algebra on finite-dimensional diffeological vector spaces. We consider the diffeological dual formally checking that the assignment to each space of its dual defines a…
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinations of resource lambda-terms, from a calculus similar to Boudol's…
In this paper we systematically explore questions of succinctness in modal logics employed in spatial reasoning. We show that the closure operator, despite being less expressive, is exponentially more succinct than the limit-point operator,…
In this paper we extend the standard differential geometric theory of Hamiltonian dynamics to noncommutative spaces, beginning with symplectic forms. Derivations on the algebra are used instead of vector fields, and interior products and…
The lambda calculus is a widely accepted computational model of higher-order functional pro- grams, yet there is not any direct and universally accepted cost model for it. As a consequence, the computational difficulty of reducing lambda…
Recent discussions of higher rank symmetric (fractonic) gauge theories have revealed the important role of Gauss constraints. This has prompted the present study where a detailed hamiltonian analysis of such theories is presented. Besides a…
Scalar fields in 4D are known to have equivalent dual descriptions in terms of form-field gauge potentials, but this is often regarded as an arcane fact. Why use more complicated formulations when simpler scalar descriptions exist and are…
We analyze the W_N^l algebras according to their conjectured realization as the second Hamiltonian structure of the integrable hierarchy resulting from the interchange of x and t in the l^{th} flow of the sl(N) KdV hierarchy. The W_4^3…