English
Related papers

Related papers: De Morgan clones and four-valued logics

200 papers

We carry out a careful study of operator algebras associated with Delone dynamical systems. A von Neumann algebra is defined using noncommutative integration theory. Features of these algebras and the operators they contain are discussed.…

Mathematical Physics · Physics 2007-05-23 D. Lenz , P. Stollmann

This paper concerns an expansion of first-order Belnap-Dunn logic whose connectives and quantifiers all have a counterpart in classical logic. The language and logical consequence relation of this paradefinite logic are defined, a sequent…

Logic in Computer Science · Computer Science 2026-03-04 C. A. Middelburg

Belnap-Dunn logic, also knows as the logic of First-Degree Entailment, is a logic that can serve as the underlying logic of theories that are inconsistent or incomplete. For various reasons, different expansions of Belnap-Dunn logic with…

Logic in Computer Science · Computer Science 2025-09-17 C. A. Middelburg

We construct a dg-enhancement of KLRW algebras that categorifies the tensor product of a universal $\mathfrak{sl}_2$ Verma module and several integrable irreducible modules. When the integrable modules are two-dimensional, we construct a…

Quantum Algebra · Mathematics 2023-10-04 Abel Lacabanne , Grégoire Naisse , Pedro Vaz

Following the lines of the analysis done in [BPZ07, BCF07] for first-order G\"odel logics, we present an analogous investigation for Nilpotent Minimum logic NM. We study decidability and reciprocal inclusion of various sets of first-order…

Logic · Mathematics 2012-07-03 Matteo Bianchi

A plasmon of a bounded domain $\Omega\subset\mathbb{R}^n$ is a non-trivial bounded harmonic function on $\mathbb{R}^n\setminus\partial\Omega$ which is continuous at $\partial\Omega$ and whose exterior and interior normal derivatives at…

Mathematical Physics · Physics 2014-03-21 Daniel Grieser

In recent years, the study of slice monogenic functions has attracted more and more attention in the literature. In this paper, an extension of the well-known Dirac operator is defined which allows to establish the Lie superalgebra…

Complex Variables · Mathematics 2015-11-13 Lander Cnudde , Hendrik De Bie , Guangbin Ren

Symmetric and k-cyclic structure of modal pseudocomplemented De Morgan algebras algebras was introduced previously. In this paper, we first present the construction of epimorphims between finite symmetric (or 2-cyclic) modal…

Logic · Mathematics 2022-10-18 Aldo Figallo-Orellano , Juan Sebastian Slagter

In this paper we study the expressive power of Horn-formulae in dependence logic and show that they can express NP-complete problems. Therefore we define an even smaller fragment D-Horn* and show that over finite successor structures it…

Logic in Computer Science · Computer Science 2015-07-01 Johannes Ebbing , Juha Kontinen , Julian-Steffen Müller , Heribert Vollmer

We study the properties of the symplectic sp(2N) algebra deformed using Dunkl operators, which describe the dynamical symmetry of the generalized N-particle quantum Calogero model. It contains a symmetry subalgebra formed by the deformed…

High Energy Physics - Theory · Physics 2025-02-11 Tigran Hakobyan

We demonstrate von Neumann algebra arising from an icc group $\Gamma$ in Chifan's, Ioana's, and Kida's class of poly-$\mathcal{C}_\text{rss} $, such as a poly-hyperbolic group with no amenable factors in its composition series, satisfies…

Operator Algebras · Mathematics 2018-02-27 Rolando de Santiago , Sujan Pant

We prove that the existence of an automorphism of finite order on a (defined over a number field) variety X implies the existence of algebraic linear relations between the logarithm of certain periods of X and the logarithm of special…

Number Theory · Mathematics 2007-05-23 V. Maillot , D. Roessler

We describe the ordering of a class of clones by minion homomorphisms, also known as minor preserving maps or height 1 clone homomorphisms. The class consists of all clones on finite sets determined by binary relations whose projections to…

Combinatorics · Mathematics 2024-09-13 Libor Barto , Maryia Kapytka

It is known that the groups of Euclidean rotations in dimension 3 (isometries of $S^2$), general Lorentz transformations in dimension 4 (Hyperbolic isometries in dimension 3), and screw motions in dimension 3 can be represented by the…

Rings and Algebras · Mathematics 2019-06-28 Gerardo Arizmendi , Marco Antonio Pérez-de la Rosa

We consider finitary relations (also known as crosses) that are definable via finite disjunctions of unary relations, i.e. subsets, taken from a fixed finite parameter set $\Gamma$. We prove that whenever $\Gamma$ contains at least one…

Logic · Mathematics 2022-10-13 Mike Behrisch , Edith Vargas-García , Dmitriy Zhuk

We explore the question concerning the number of distinct resonant algebras depending on the generator content, which consists of the Lorentz generator, translation, and new additional Lorentz-like and translation-like generators. Such…

High Energy Physics - Theory · Physics 2020-06-23 Remigiusz Durka , Kamil Grela

The fractional polylogarithms, depending on a complex parameter $\a$, are defined by a series which is analytic inside the unit disk. After an elementary conversion of the series into an integral presentation, we show that the fractional…

Classical Analysis and ODEs · Mathematics 2009-07-16 Ovidiu Costin , Stavros Garoufalidis

We introduce the umbral calculus formalism for hypercomplex variables starting from the fact that the algebra of multivariate polynomials $\BR[\underline{x}]$ shall be described in terms of the generators of the Weyl-Heisenberg algebra. The…

Complex Variables · Mathematics 2014-10-02 Nelson Faustino , Guangbin Ren

We recall that the full susceptibility series of the Ising model, modulo powers of the prime 2, reduce to algebraic functions. We also recall the non-linear polynomial differential equation obtained by Tutte for the generating function of…

Mathematical Physics · Physics 2016-02-17 S. Boukraa , J-M. Maillard

The goal of this paper is to understand the graded limit of a family of irreducible prime representations of the quantum affine algebra associated to a simply-laced simple Lie algebra $\mathfrak{g}$. This family was introduced by David…

Representation Theory · Mathematics 2019-12-09 Vyjayanthi Chari , Justin Davis , Ryan Moruzzi
‹ Prev 1 8 9 10 Next ›