Related papers: De Morgan clones and four-valued logics

We study when blowup algebras are $F$-split or strongly $F$-regular. Our main focus is on algebras given by symbolic and ordinary powers of ideals of minors of a generic matrix, a symmetric matrix, and a Hankel matrix. We also study ideals…

The subsumption problem with respect to terminologies in the description logic ALC is EXPTIME-complete. We investigate the computational complexity of fragments of this problem by means of allowed Boolean operators. Hereto we make use of…

For $l,n \in \mathbb{N}$ we define tonal partition algebra $P^l_n$ over $\mathbb{Z}[\delta]$. We construct modules $\{ \Delta_{\underline{\mu}} \}_{\underline{\mu}}$ for $P^l_n$ over $\mathbb{Z}[\delta]$, and hence over any integral domain…

In this article, we study the derivations of group algebras of some important groups, namely, dihedral ($D_{2n}$), Dicyclic ($T_{4n}$) and Semi-dihedral ($SD_{8n}$). First, we explicitly classify all inner derivations of a group algebra…

We develop a geometric framework for generalized Milnor classifying spaces in the setting of diffeological spaces and infinite-dimensional geometry. Starting from Milnor's construction, we introduce spherical and projective models endowed…

We define Modular Linear Differential Equations (MLDE) for the level-two congruence subgroups $\Gamma_\vartheta$, $\Gamma^0(2)$ and $\Gamma_0(2)$ of $\text{SL}_2(\mathbb Z)$. Each subgroup corresponds to one of the spin structures on the…

We claim that factorization implies that the evolution kernel, defined by the logarithmic derivative of the N-th moment of the structure function d ln F_2^N / d ln Q^2, receives logarithmically enhanced contributions (Sudakov logs) from a…

This work is divided between two main areas: in the theory of multialgebras, we focus mostly on a new definition of what a freely generated object should be in their category, and on how this category is equivalent to another with partially…

We work with detail the Drinfeld module over the ring $$A=F_2[x,y]/(y^2+y=x^3+x+1).$$ The example in question is one of the four examples that come from quadratic imaginary fields with class number $h = 1$ and rank one. We develop specific…

Let $R$ denote a 2-fir. The notions of F-independence and algebraic subsets of R are defined. The decomposition of an algebraic subset into similarity classes gives a simple way of translating the F-independence in terms of dimension of…

In this article we characterize the equivalent algebraic semantics for the one-variable monadic fragment of the first-order logic ${\cal G} \forall_{\sim}$ defined by F. Esteva, L. Godo, P. H\'ajek and M. Navara in Residuated fuzzy logics…

The aim of this paper is to combine several Ivlev-like modal systems characterized by 4-valued non-deterministic matrices (Nmatrices) with IDM4, a 4-valued expansion of Belnap-Dunn's logic FDE with an implication introduced by Pynko in…

The purpose of this paper is to develop a deformation theory controlled by pre-Lie algebras with divided powers over a ring of positive characteristic. We show that every differential graded pre-Lie algebra with divided powers comes with…

We establish analogues in the context of group actions or group representations of some classical problems and results in additive combinatorics of groups. We also study the notion of left invariant submodular function defined on power sets…

We extend the results of Deligne and Illusie on liftings modulo $p^2$ and decompositions of the de Rham complex in several ways. We show that for a smooth scheme $X$ over a perfect field $k$ of characteristic $p>0$, the truncations of the…

We present a new multiparticle model of $\mathcal{N}{=}\,8$ mechanics with superconformal $F(4)$ symmetry. The system is constructed in terms of two matrix $\mathcal{N}{=}\,4$ multiplets. One of them is a bosonic matrix $({\bf 1, 4, 3})$…

Let rho and sigma be two central relations on a finite set A. It is known that the clones Pol(rho) and Pol(sigma) which consists of all operations on A that preserve rho respectively sigma are among the maximal clones on A. In this paper,…

In this paper, we study the category of modules over the Smith algebra which are free of finite rank over the unital polynomial subalgebra generated by the Cartan element $h$ and obtain families of such simple modules of arbitrary rank. In…

Trigonometric formulas are derived for certain families of associated Legendre functions of fractional degree and order, for use in approximation theory. These functions are algebraic, and when viewed as Gauss hypergeometric functions,…

$\omega$-clones are multi-sorted structures that naturally emerge as algebras for infinite trees, just as $\omega$-semigroups are convenient algebras for infinite words. In the algebraic theory of languages, one hopes that a language is…