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…

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…

In this paper we study boundedness properties of certain harmonic analysis operators (maximal operators for heat and Poisson semigroups, Riesz transform and Littlewood-Paley g-functions) associated with Bessel operators, on the space BMO_o (R) that consists of the odd functions with…

In this paper, the efficiency and the quality of the solutions obtained with a new parallelizable preconditioner for Domain Decomposition Methods (DDM) by means of Finite Element discretization of partial differential equations arising in the context of CFD problems is…

MPI for Python provides bindings of the Message Passing Interface (MPI) standard for the Python programming language and allows any Python program to exploit multiple processors. This package is constructed on top of the MPI­1 specification and defines an ob…

In this paper, the efficiency of a parallelizable preconditioner for Domain Decomposition Methods in the context of the solution of non-symmetric linear equations arising from discretization of the Saint-Venant equations, is investigated. The proposed Interface Strip Preconditioner (IS) is based…

Axisymmetric inertial waves of a viscous fluid that fill a perturbed
rotating spherical container are numerically simulated by finite
elements. A laminar flow of an incompressible viscous fluid of
Newtonian type is assumed in the numerical simulations. A monolithic
computational…

MPI for Python provides bindings of the Message Passing Interface (MPI) standard for the Python programming language and allows any Python program to exploit multiple processors. In its first release, MPI for Python was constructed on top of the MPI-1…

A floating hemisphere under forced harmonic oscillation at very-low
and very-high frequencies is considered. The problem is reduced to an
elliptic one, that is, the Laplace operator in the exterior domain
with Dirichlet and Neumann boundary conditions. Asymptotic values of

A numerical algorithm based on the Complex Variable Boundary Element Method (CVBEM) for plane incompress- ible potential flow around aerofoils and cascades is described. The method is based on the representation of the complex disturbance velocity by means of a…