E. Turunen, BL-algebras of basic fuzzy logic, Mathware Soft Comput., 6 (1998), 49-61.E. Turunen, BL-algebras of basic fuzzy logic, Mathware Soft Comput, 6(1998),49-61.Turunen E., BL-algebras of basic fuzzy logic, Mathware Soft Comput., 1998, 6, 49-61....
The many-valued propositional logic BL (basic fuzzy logic) is investigated. It is known to be complete for tautologies over BL-algebras (particular residuated lattices). Each continuous t-norm on [0,1] determines a BL-algebra; such algebras are called t-algebras. Two additional axioms B1...
Turunen, E.: BL–algebras of Basic Fuzzy Logic. Mathware and Soft Computing 6, 49–61 (1999) Turunen, E.: Boolean deductive systems of BL–algebras. Archive for Mathematical Logic 40, 467–473 (2001) CrossRef Turunen, E., Sessa, S.: Local BL–algebras. Multiple Valued Logic ...
Introduction to mathematical logic and resolution principle[M]. 2nd. Beijing: Science Press, 2009. [10] HáJEK P. Metamathematics of fuzzy logic[M]. Dordrecht: Kluwer Academic Publishers, 1998. [11] TURUNEN E. BL-algebras of basic fuzzy logic[J]. Mathware and Soft Computing, 1999, 6(1):...
BL algebras were introduced by H谩jek as algebraic structures for his Basic Logic. MV algebras, product algebras and Gdel algebras are particular cases of BL algebras. On the other hand, the pseudo-MV algebras extend the MV-algebras in t... Antonio di Nola,G Georgescu,A Iorgulescu - Mul...
摘要: Three different definitions of MV algebra are proved to be equivalent to each other. The logic background of MV algebras, BL algebras, and R 0 algebras are analysed. Moreover, several questions worthy to be investigated are proposed....
代数蕴涵模糊foldfuzzyfilter ComputerEngineeringandApplications计算机工程与应用2014,50(11) 1引言 逻辑代数是信息科学、计算机科学等领域推理机制 的代数基础,而BL-代数是一类重要的逻辑代数。BL- 代数是Hάjek [1] 为了给出基本逻辑完备性定理的代数证 明而提出。Cignoli [2] 等人证明了基本逻辑实质上是连续 t...
AWeakenedFormofBL—Algebra ZHOUJian—ten.WUHong-bo (1.CollegeoJ’MathematicsandStatistics,HexiUniversity,Zhangye734000,GansuProvince,China; 2.College0厂MathematicsandInJbrmationSciences,ShaanxiNormalUniversity,Xi’an710062,China) Abstract:()nthebasicofBL—algebraandotherrelatedlogicalgebras,aweakerlogicalgebr...
Motamed, S., Borumand Saeid, A.: n-Fold obstinate filters in BL-algebras. Neural Comput. Appl. 20, 461–472 (2011) Article Google Scholar Turunen, E.: BL-algebras and basic fuzzy logic. Mathw. Soft Comput. 6, 49–61 (1999) MATH MathSciNet Google Scholar Turunen, E.: Mathematic...
The aim of this paper is to give a description of the free algebras in varieties of BL-algebras having the Boolean retraction property. This description is given in terms of weak Boolean products over Cantor spaces. The stalks are obtained in a constructive way from free radical algebras . ...