نتایج جستجو برای: mv algebra
تعداد نتایج: 91955 فیلتر نتایج به سال:
EQ-algebras were introduced by Novak (2006) as an algebraic structure of truth values for fuzzy-type theory (FFT). Novák and De Baets (2009) various kinds such good, residuated, IEQ-algebras. In this paper, we define the notion (pre)ideal in bounded (BEQ-algebras) investigate some properties. Then, introduce a congruence relation on good BEQ-algebras using ideals, then, solve open problem Paad ...
We prove that every orthocomplete homogeneous effect algebra is sharply dominating. Let us denote the greatest sharp element below x by x↓. For every element x of an orthocomplete homogeneous effect algebra and for every block B with x ∈ B, the interval [x↓, x] is a subset of B. For every meager element (that means, an element x with x↓ = 0), the interval [0, x] is a complete MV-effect algebra....
The notion of a state is an analogue of a probability measure and was first introduced by Kôpka and Chovanec for MV-algebras and by Riec̆an for BLalgebras. The states have also been studied for different types of non-commutative fuzzy structures such as pseudo-MV algebras, pseudo-BL algebras, bounded R`monoids, residuated lattices and pseudo-BCK semilattices. In this paper we investigate the sta...
Pseudo-BCK algebras were introduced by G. Georgescu and A. Iorgulescu as a generalization of BCK algebras in order to give a corresponding structure to pseudo-MV algebras, since the bounded commutative BCK algebras corresponde to MV algebras. Properties of pseudo-BCK algebras and their connections with other fuzzy structures were established by A. Iorgulescu and J. Kühr. The aim of this paper i...
The notion of vague ideals in pseudo MV-algebras is introduced,and several properties are investigated. Conditions for a vague set to be avague ideal are provided. Conditions for a vague ideal to be implicative aregiven. Characterizations of (implicative, prime) vague ideals are discussed.The smallest vague ideal containing a given vague set is established. Primeand implicative extension proper...
In this paper a gate-level evolvable hardware technique for designing multiple-valued (MV) combinational circuits is proposed for the first time. In comparison with the decomposition techniques used for synthesis of combinational circuits previously employed, this new approach is easily adapted for the different types of MV gates associated with operations corresponding to different algebra typ...
It is shown that a conservative expansion of in nite valued ×ukasiewicz logic by new connectives univocally determined by their axioms does not necessarily have a complete semantics in the real interval [0,1]. However, such extensions are always complete with respect to valuations in a family of MV-chains, Rational ×ukasiewicz logic being the largest one that has a complete semantics in [0,1]. ...
Logics designed to deal with vague statements typically allow algebraic semantics such that propositions are interpreted by elements of residuated lattices. The structure of these algebras is in general still unknown, and in the cases that a detailed description is available, to understand its significance for logics can be difficult. So the question seems interesting under which circumstances ...
شبهmv-جبرها ، توسیعی از جبر ناجابجایی mv-جبر است . در این پایان نامه ،شبه mv-جبرهای موضعی را بررسی کرده و همچنین یک رده بندی برای این ساختار ارائه داده و زیر کلاسهای شبه mv-جبر کامل را به طور عمیق مورد بررسی قرار می دهیم.بعلاوه، ثابت می کنیم که رستهl-گروه ها با زیررسته هایی از شبه mv-جبرهای کامل معادل هستند.
A new hierarchy of “exact” unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always h...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید