舆论摘要:结余格与鉴于结余格的几类代数体例的联系
正文接洽几何类论理代数体例囊括MV-代数、格包括代数、Fuzzy包括代数、Heyting代数、Boole代数、包括格、R_0-代数等与结余格的联系以及那些代数体例彼此之间的联系。同声还接洽R_0-代数的Fuzzy MP滤子、RL型包括与Fuzzy推导的三I算法等题目。那些实质利害典范论理与Fuzzy推导接洽中较为关心的题目。全文分四章,辨别就那些题目举行了接洽。 在非典范论理中,由J.Pavelka引入的结余格是一种特殊要害而基础的代数构造,也是现在较为时髦的表面与本领。但这一本领暂时在海内似未普遍,加之百般论理代数体例如C.C.Chang提出的MV-代数、由海内鸿儒吴望名熏陶提出的Fuzzy包括代数、徐扬熏陶提出的格包括代数以及帝国俊熏陶提出的R_0-代数等在设置情势上生存很大分别,保护了它们与结余格的联系以及彼此之间的要害接洽,给接洽者形成诸多未便。所以,弄清之上百般代数与结余格之间的联系对于控制它们彼此之间的联系有要害意旨,这无疑会对此后的接洽起到激动效率。