Implicational (semilinear) logics I: a new hierarchy

In abstract algebraic logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this process one considers the Leibniz relation of indiscernible formulae. Such approach has resulted in a classification of logics partly based on generalizations of equivalence connectives: the Leibniz hierarchy. This paper performs an analogous abstract study of non-classical logics based on the kind of generalized implication connectives they possess. It yields a new classification of logics expanding Leibniz hierarchy: the hierarchy of implicational logics. In this framework the notion of implicational semilinear logic can be naturally introduced as a property of the implication, namely a logic L is an implicational semilinear logic iff it has an implication such that L is complete w.r.t. the matrices where the implication induces a linear order, a property which is typically satisfied by well-known systems of fuzzy logic. The hierarchy of implicational logics is then restricted to the semilinear case obtaining a classification of implicational semilinear logics that encompasses almost all the known examples of fuzzy logics and suggests new directions for research in the field.     

Factorizations of complete graphs into caterpillars of diameter 5

We examine factorizations of complete graphs K_2n into caterpillars of diameter 5. First we present a construction generalizing some previously known methods. Then we use the new method along with some previous partial results to give a complete characterization of caterpillars of diameter 5, which factorize the complete graph K_2n.     

On uniqueness and time regularity of flows of power‐law like non‐Newtonian fluids

Large class of non‐Newtonian fluids can be characterized by index p, which gives the growth of the constitutively determined part of the Cauchy stress tensor. In this paper, the uniqueness and the time regularity of flows of these fluids in an open bounded three‐dimensional domain is established for subcritical ps, i.e. for p>11/5. Our method works for ‘all’ physically relevant boundary conditions, the Cauchy stress need not be potential and it may depend explicitly on spatial and time variable. As a simple consequence of time regularity, pressure can be introduced as an integrable function even for Dirichlet boundary conditions. Moreover, these results allow us to define a dynamical system corresponding to the problem and to establish the existence of an exponential attractor. Copyright © 2010 John Wiley & Sons, Ltd.     

Computational investigations of the Prouhet-Tarry-Escott Problem

We describe a method for searching for ideal symmetric solutions to the Prouhet-Tarry-Escott Problem. We report results of extensive searches for solutions of sizes up to 12. We found two solutions of size 10 that are smaller by two orders of magnitude than the solution found by A. Letac in the 1940s, which was the smallest size 10 solution known before our search.

     

Coupled model of hygro-thermal behavior of concrete during fire

We present a nonlinear mathematical model for numerical analysis of the behavior of concrete subject to transient heating according to the standard ISO fire curve. The mathematical model consists of the balance equations (conservations laws) with boundary and initial conditions, constitutive laws and material data for concrete at high temperatures. The numerical algorithm based on finite element method for the numerical solution of the energy equation and finite difference method for the mass balance equations is presented. Distributions of temperature, saturation of water and water vapor pressure are demonstrated.     

Boundary regularity of flows under perfect slip boundary conditions

We investigate boundary regularity of solutions of generalized Stokes equations. The problem is complemented with perfect slip boundary conditions and we assume that the nonlinear elliptic operator satisfies non-standard ?-growth conditions. We show the existence of second derivatives of velocity and their optimal regularity.     

Convergence of algebraic multigrid based on smoothed aggregation

Summary. We prove an abstract convergence estimate for the Algebraic Multigrid Method with prolongator defined by a disaggregation followed by a smoothing. The method input is the problem matrix and a matrix of the zero energy modes of the same problem but with natural boundary conditions. The construction is described in the case of a general elliptic system. The condition number bound increases only as a polynomial of the number of levels, and requires only a uniform weak approximation property for the aggregation operators. This property can be a-priori verified computationally once the aggregates are known. For illustration, it is also verified here for a uniformly elliptic diffusion equations discretized by linear conforming quasiuniform finite elements. Only very weak and natural assumptions on the hierarchy of aggregates are needed. Received March 1, 1998 / Revised version received January 28, 2000 / Published online: December 19, 2000