云彩店邀请码|半壳|优胜
多值论理的一个要害接洽目标是对相关代数体例的接洽,各别的多值论理体例对应着各别的多值论理代数。驰名论理学家C.C.Chang提出了MV-代数,尔后,吴望明熏陶提出了FI-代数,徐扬熏陶创造了格包括代数, P.Hájek熏陶创造了BL-代数,帝国俊熏陶创造了独力于BL-代数的R0-代数。吴洪博熏陶经过对 R0-代数的接洽提出了BR0-代数以及WBR0-代数。正文对WBR0-代数举行了进一步的接洽。正文的构造和精细实质安置如次:第1章 计划常识。本章给出了作品中将要用到的FI-代数,WBR0-代数,偏序集,Pt-模(偏序集上的t-模)和Ps-模(偏序集上的s-模)的基础观念。第2章 WBR0-代数的Pt-模和Ps-模表白。开始,给出了WBR0-代数的Pt-模(偏序集上的t-模)的展现情势;其次,在偏序集上经过Pt-模贯串包括算子给出了WBR0 -代数的表白情势;结果,证领会WBR0-代数原始设置中的二元演算$oplus$是WBR0-代数的Ps-模(偏序集上的s-模),并经过Ps-模贯串包括算子于偏序集上给出了WBR0-代数的表白情势。第3章 WBR0-代数的两种弱化情势及本质。开始将WBR0-代数的前提举行了两种各别情势的弱化,创造了朦胧BR0-代数(FBR0-代数)构造和正则BR0-代数(RBR0-代数)构造,并计划了个中的关系本质。而后,证领会正则BR0-代数是朦胧BR0-代数;朦胧BR0-代数和 FI-代数是沟通代数构造;正则BR0-代数和正则FI-代数是沟通代数构造。结果,辨别结构了非正则BR0-代数的朦胧BR0-代数和非WBR0-代数的正则BR0-代数,进而阐领会朦胧BR0-代数,正则BR0-代数,WBR0-代数的彼此包括联系和对立独力性。
来源:半壳优胜鲸鱼幸运星转载请保留出处和链接!
本文链接:http://87cpy.com/220357.html
本站部分内容来源网络如有侵权请联系删除