In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...

The Siebeck–Marden theorem relates the roots of a third degree polynomial and the roots of its derivative in a geometrical way. A few geometric arguments imply that every inellipse for a triangle is uniquely related to a certain logarithmic potential via its focal points. This fact provides a new direct proof of a general form of the result of Siebeck and Marden. Given three noncollinear points...

In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...

DStrips is a simple and efficient method to dynamically manage and generate triangle strips for real-time viewdependent multiresolution meshing and rendering. Progressive view-dependent triangle mesh simplification and rendering is an important concept for interactive visualization environments. To minimize the rendering cost, triangle meshes are simplified to the maximal tolerated perceptual e...

this paper is concerned with the following elliptic system:$$ left{ begin{array}{ll} -triangle u + b(x)nabla u + v(x)u=g(x, v), -triangle v - b(x)nabla v + v(x)v=f(x, u), end{array} right. $$ for $x in {r}^{n}$, where $v $, $b$ and $w$ are 1-periodic in $x$, and $f(x,t)$, $g(x,t)$ are super-quadratic. in this paper, we give a new technique to show the boundedness of cerami sequences and establi...

in this paper we characterize hyper mv -algebras in which 0 or1 are scalar elements . we prove that any nite hyper mv -algebra that 0is a scaler element in it, is an mv -algebra. finally we characterize hypermv -algebras of order 2 and order 3.