We give a characterization of monic polynomials with coefficients in the ring of integers of a Galois number field having all of their roots on the unit circle. Such a characterization is given in terms of finitely many sum of…

We establish a categorical duality for the finitely generated Lindenbaum-Tarski algebras of propositional nilpotent minimum logic. The latter's conjunction is semantically interpreted by a left-continuous (but not continuous) triangular norm; implication is obtained through residuation. Our duality allows one to…

The main result of this paper is a pointwise estimate for
the space time gradients of a temperature on a cylindrical
domain in terms of an iteration of two maximal operators. The
result is an extension to the parabolic setting…

We prove space-time parabolic Besov regularity in terms
of integrability of Besov norms in the space variable for solutions of the
heat equation on cylindrical regions based on Lipschitz domains.

Accepted: The Journal of Fourier Analysis and Applications. January…

The class of NPc-lattices is introduced as a quasivariety of commutative residuated lattices, and it is shown that the class of pairs $(\A, A^+)$ such that $\A$ is an NPc-lattice and $A^+$ is its positive cone, is a matrix semantics…

In this note we give sufficient conditions on two dyadic systems on a space of homogeneous type in order to obtain the equivalence of corresponding Haar systems on Lebesgue spaces. The main tool is the vector valued Fefferman-Stein inequality for…

Two-fluid models are central to the simulation of transport
processes in two-phase homogenized systems. Even though this physical
model has been widely accepted, an inherently non-hyperbolic and
non-conservative ill-posed problem arises from the mathematical point
of view. It has been…

In this article we prove that it is possible to construct, using newest-vertex bisection, meshes that equidistribute the error in $H^1$-norm, whenever the function to approximate can be decomposed as a sum of a regular part plus a singular part…

We prove that for each $n\geq 4$ there is an analytic function
$F_n(x)$ satisfying an algebraic differential equation of degree
$n+1$ such that the logarithmic Mahler measure of the linear form
$\lf_n=x_1+\cdots + x_n$ can be essentially computed as…

Spinks and Veroff have shown that constructive logic with strong negation (CLSN for short), can be considered as a substructural logic. We use algebraic tools developed to study substructural logics to investigate some axiomatic extensions of CLSN. For instance we…