Formal verification of integer multipliers was an open problem for a long time as the size of any reduced ordered binary decision diagram (BDD) [1] which represents integer multiplication is exponential in the width of the operands [2]. In 1995, Bryant and Chen [4] introduced multiplicative binary moment diagrams (*BMD) which is a canonical data structure for pseudo Boolean functions allowing a...

first we show that the cosets of a fuzzy ideal μ in a bck-algebrax form another bck-algebra  x/μ (called the fuzzy quotient bck-algebra of x by μ). also we show thatx/μ is a fuzzy partition of x and we prove several some isomorphism theorems. moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition p of a commutative bck-algebra iscompatible, then p is a fuzzy quo...

in the mathematical analysis, there are some theorems and definitions that established for both real and fuzzy numbers. in this study, we try to prove  bernoulli's inequality in fuzzy real numbers with some of its applications. also, we prove two other theorems in fuzzy real numbers which are proved before, for real numbers.

In the mathematical analysis, there are some theorems and definitions that established for both real and fuzzy numbers. In this study, we try to prove  Bernoulli's inequality in fuzzy real numbers with some of its applications. Also, we prove two other theorems in fuzzy real numbers which are proved before, for real numbers.

First we show that the cosets of a fuzzy ideal μ in a BCK-algebraX form another BCK-algebra  X/μ (called the fuzzy quotient BCK-algebra of X by μ). Also we show thatX/μ is a fuzzy partition of X and we prove several some isomorphism theorems. Moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition P of a commutative BCK-algebra iscompatible, then P is a fuzzy quo...

in this paper, we prove a common fixed point theorem for six mappings (two set valued and four single valued mappings) without assuming compatibility and continuity of any mapping on non complete metric spaces. to prove the theorem, we use a non compatible condition, that is, weak commutativity of type (kb). we show that completeness of the whole space is not necessary for the existence and uni...

In this paper we develop a natural generalization of Schauder basis theory, we term operator-valued basis or simply ov-basis theory, using operator-algebraic methods. We prove several results for ov-basis concerning duality, orthogonality, biorthogonality and minimality. We prove that the operators of a dual ov-basis are continuous. We also dene the concepts of Bessel, Hilbert ov-basis and obta...