Related papers: De Morgan clones and four-valued logics
For each clone C on a set A there is an associated equivalence relation analogous to Green's R-relation, which relates two operations on A if and only if each one is a substitution instance of the other using operations from C. We study the…
We derive the DGLAP and BFKL evolution equations in the N=4 supersymmetric gauge theory in the next-to-leading approximation. The eigenvalue of the BFKL kernel in this model turns out to be an analytic function of the conformal spin |n|.…
We characterise slice-regularity of functions over a real alternative *-algebra using operators that arise in Dunkl operator theory. We present a unifying perspective on hypercomplex analysis by defining a family of function spaces in the…
A subalgebra $\mathcal{A}$ of a $C^*$-algebra $\mathcal{M}$ is logmodular (resp. has factorization) if the set $\{a^*a; a\text{ is invertible with }a,a^{-1}\in\mathcal{A}\}$ is dense in (resp. equal to) the set of all positive and…
We classify (up to quasi-isomorphism) the free differential modules whose homology is equal to a given module $M$ by developing a theory for deforming an arbitrary free complex into a differential module. We use an iterative approach to…
We establish fractional Leibniz rules for the Dunkl Laplacian $\Delta_k$ of the form $$\|(-\Delta_k)^s(fg)\|_{L^p(d\mu_k)} \lesssim \|(-\Delta_k)^s f\|_{L^{p_1}(d\mu_k)} \|g\|_{L^{p_2}(d\mu_k)} + \|f\|_{L^{p_1}(d\mu_k)} \|(-\Delta_k)^s…
We use a method from descriptive set theory to investigate the two precomplete clones above the unary clone on a countable set.
The paper explores the indecomposable submodule structures of quantum divided power algebra $\mathcal{A}_q(n)$ defined in \cite{HU} and its truncated objects $\mathcal{A}_q(n, \bold m)$. An "intertwinedly-lifting" method is established to…
We provide a method of translating theories of Nute's defeasible logic into logic programs, and a corresponding translation in the opposite direction. Under certain natural restrictions, the conclusions of defeasible theories under the…
In this paper, we consider the well-known modal logics $\mathbf{K}$, $\mathbf{T}$, $\mathbf{K4}$, and $\mathbf{S4}$, and we study some of their sub-propositional fragments, namely the classical Horn fragment, the Krom fragment, the…
In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson's logic N and the logic of first-degree entailment FDE, also known as Belnap-Dunn four-valued…
Nonmonotonic logics are usually characterized by the presence of some notion of 'conditional' that fails monotonicity. Research on nonmonotonic logics is therefore largely concerned with the defeasibility of argument forms and the…
For each clone C on a set A there is an associated equivalence relation, called C-equivalence, on the set of all operations on A, which relates two operations iff each one is a substitution instance of the other using operations from C. In…
If $\fA$ is a unital weak-$*$ closed algebra of multiplication operators on a reproducing kernel Hilbert space which has the property $\bA_1(1)$, then the cyclic invariant subspaces index a Nevanlinna-Pick family of kernels. This yields an…
A contraction-free and cut-free sequent calculus $\msf{G3SDM}$ for semi-De Morgan algebras, and a structural-rule-free and single-succedent sequent calculus $\msf{G3DM}$ for De Morgan algebras are developed. The cut rule is admissible in…
Let $\lambda$ be a primitive root of unity of order $\ell$. We introduce a family of finite-dimensional algebras $\{\mathcal{D}_{\lambda,N}(\mathfrak{sl}_2)\}_{N\in\mathbb{N}_0}$ over the complex numbers, such that…
We study zeta functions enumerating submodules invariant under a given endomorphism of a finitely generated module over the ring of ($S$-)integers of a number field. In particular, we compute explicit formulae involving Dedekind zeta…
Colombeau algebras constitute a convenient framework for performing nonlinear operations like multiplication on Schwartz distributions. Many variants and modifications of these algebras exist for various applications. We present a…
We factorize 4d Fradkin-Linetsky higher spin conformal algebra by maximal ideal $I^1-\alpha$ and construct irreducible infinite-dimensional modules $M_\alpha$ of 4d conformal algebra that are parameterized by real number $\alpha$. It is…
This paper deals with function field analogues of famous theorems of Laudau which counted the number of integers which have $t$ prime factors and R. Hall which researched the distribution of divisors of integers in residue classes.\;We…