This derivation of (2) is not valid, because this duality applies to inferences and theorems only, not to definitions. In fact, (1) should be treated as an axiom. Accordingly, the duality of Lemma 3.3.1 would not be valid until the dual (2) of (1) is proved independently, as we do below. Our new proof will make use of Proposition 3.3.3, the original proof of which is based on duality. So, we mu...

Answering a recent question posed by Gregori, Morillas and Sapena (“On a class of completable fuzzy metric spaces”, Fuzzy Sets and Systems, 161 (2010), 2193–2205) we present two examples of non strong fuzzy metrics (in the sense of George and Veeramani).

We present a combinatorial characterization of sets of integers (rO,rl, ... ,TII-d, with OSri~"_2, " such that a'O,({1, ... ,a'·-1 fonn a basis of GF(q") over GF(q) for some ae GF'(q"). We use this characterization to prove the following generalization of the nonnal basis theorem fpr finite -fields of characteristic two: Let Ao.Al; ... ,A.,.-1 be integers in the range~<q, with at most one A.; e...

In this work, we propose a high-resolution alternating evolution (AE) scheme to solve Hamilton–Jacobi equations. The construction of the AE scheme is based on an alternating evolution system of the Hamilton–Jacobi equation, following the idea previously developed for hyperbolic conservation laws. A semidiscrete scheme derives directly from a sampling of this system on alternating grids. Higher ...