相关论文: A Type-Directed Negation Elimination

We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (universal) quantifiers such that at most one variable…

We present two approaches that can be used to compute modular forms on noncongruence subgroups. The first approach uses Hejhal's method for which we improve the arbitrary precision solving techniques so that the algorithm becomes about up…

A $\mu$-algebra is a model of a first order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms $(f,\mu_{x}.f)$ where $\mu_{x}.f$ is axiomatized as the least prefixed point of $f$, whose axioms are…

The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all positive existential formulas, can express the first-order translations of basic modal logic and of many description logics, along with many sentences…

This paper presents a proof-theoretic analysis of the modal $\mu$-calculus. More precisely, we prove a syntactic cut-elimination for the non-wellfounded modal $\mu$-calculus, using methods from linear logic and its exponential modalities.…

We introduce the logic FOCN(P) which extends first-order logic by counting and by numerical predicates from a set P, and which can be viewed as a natural generalisation of various counting logics that have been studied in the literature. We…

By a De Morgan algebra is meant a bounded poset equipped with an antitone involution considered as negation. Such an algebra can be considered as an algebraic axiomatization of a propositional logic satisfying the double negation law. Our…

We establish the optimal regularity of solutions to the Neumann problem for the fractional Laplacian, $(-\Delta)^s u=h$ in $\Omega$, with the external condition $\mathcal N^s u=0$ in $\Omega^c$. For this, a key point is to establish a 1D…

This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain $\vee$ within the scope of quantifiers. The disjuncts of these FOLDNFs are…

We say that a formal deformation from an algebra $N$ to algebra $A$ is strongly flat if for every real number $e $ there is a real number $0<s<e$ such that this deformation specialised at $t=s$ gives an algebra isomorphic to $A$. We show…

We construct a family of exact functors from the BGG category of representations of the Lie algebra sl to the category of finite-dimensional representations of the degenerate (or graded) affine Hecke algebra H of GL. These functors…

Let L be a finite-dimensional Lie algebra over a field of non-zero characteristic. By a theorem of Jacobson, L has a finite-dimensional faithful module which is completely reducible. We show that if the field is not algebraically closed,…

Let $N$ be a prime and $\phi$ be a Hecke-Maass cuspidal newform for the Hecke congruence subgroup $\Gamma_0(N)$ in $\operatorname{SL}_n(\mathbb{R})$. Let $\Omega$ be an adelic compactum and let $\Omega_N$ be its projection to $\Gamma_0(N)…

The hexagon-form-factor program was proposed as a way to compute three- and higher-point correlation functions in $\mathcal{N}=4$ super-symmetric Yang-Mills theory and in the dual AdS$_5\times$S$^5$ superstring theory, by exploiting the…

The $q$-deformed Araki-Woods von Neumann algebras $\Gamma_q(\mathcal{H}_\mathbb{R}, U_t)^{\prime \prime}$ are factors for all $q\in (-1,1)$ whenever $dim(\mathcal{H}_\mathbb{R})\geq 3$. When $dim(\mathcal{H}_\mathbb{R})=2$ they are factors…

The present work is a study of the unitarity problem for Quantum Mechanics at Planck Scale considered as Quantum Mechanics with Fundamental Length (QMFL).In the process QMFL is described as deformation of a well-known Quantum Mechanics…

It is known that the M\"obius function in number theory is higher order oscillating. In this paper we show that there is another kind of higher order oscillating sequences in the form $(e^{2\pi i \alpha \beta^{n}g(\beta)})_{n\in \N}$, for a…

The positive-energy unitary irreducible representations of the $q$-deformed conformal algebra ${\cal C}_q = {\cal U}_q(su(2,2))$ are obtained by appropriate deformation of the classical ones. When the deformation parameter $q$ is $N$-th…

We give a general construction for finite dimensional representations of $U_q(\hat{\G})$ where $\hat{\G}$ is a non-twisted affine Kac-Moody algebra with no derivation and zero central charge. At $q=1$ this is trivial because…

Inductive and coinductive specifications are widely used in formalizing computational systems. Such specifications have a natural rendition in logics that support fixed-point definitions. Another useful formalization device is that of…