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…

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…