Within the mathematical logic field, much effort has been devoted to prove completeness of different axiomatizations with respect to classes of algebras defined on the real unit interval [0, 1] (see for instance [1] and [2]), but in general, what has been mainly achieved are axiomatizations and results concerning fini-tary completeness, that is, for deductions from a finite number of premises. ...

After a short introduction to Generalized Finite Element Methods (GFEM) for two-dimensional triangular elements, a technique is presented to impose Dirichlet-type boundary conditions to global higher order GFEM ansatz spaces. The convergence rates of h-, p-, hp-and enriched p-versions of the GFEM are discussed with respect to singularities. The method is applied to a two dimensional Poisson mod...

We show that a set of three axioms, together with modus ponens, suffices to build up a formal system for the class R of all quadruples (L,6,T,J), in which (L,6) is a partially ordered set with a top element, and T is a triangular norm on (L,6) that has a residuated implication J. We show that this R is not a variety. 2004 Elsevier Inc. All rights reserved.

We generalize min-neighborhood groups to arbitrary T -neighborhood groups, where T is a continuous triangular norm. In particular, we point out that our results accommodate the previous theory on min-neighborhood groups due to T. M. G. Ahsanullah. We show that every T -neighborhood group is T -uniformizable, therefore, T -completely regular. We also present several results of T -neighborhood gr...

We consider a multigrid algorithm for the cell centered di€erence scheme on triangular meshes using a new prolongation operator. The energy norm of this prolongation is shown to be less than  2 p . Thus the W-cycle is guaranteed to converge. Numerical experiments show that our operator is better than the trivial injection. Ó 1999 Elsevier Science Inc. All rights reserved. AMS classi®cation: ...

This paper deals with interval-valued fuzzy sets and I-fuzzy sets, Atanassov's intuitionistic fuzzy sets. They are treated in a systematic way as two, formally equivalent, natural extensions of methods of representing incomplete knowledge about sets. We define and investigate triangular norm-based areas of uncertainty of interval-valued fuzzy sets and I-fuzzy sets, and study some properties of ...

A family of conforming mixed finite elements with mass lumping on triangular grids are presented for linear elasticity. The stress field is approximated by symmetric $H({\rm div})-P_k (k\geq 3)$ polynomial tensors enriched higher order bubbles so as to allow lumping, which can be viewed the Hu-Zhang interior bubble functions. displacement $C^{-1}-P_{k-1}$ vectors terms ensure stability conditio...