10.3969/j.issn.1001-7402.2012.03.003
预线性与对合非结合剩余格
非结合剩余格是非结合格值逻辑系统的代数抽象,本文研究几类特殊非结合剩余格的代数性质.证明了满足预线性条件的非结合剩余格必是分配格,并给出预线性非结合剩余格的充分必要条件.同时,引入对合和强对合非结合剩余格的概念,研究了它们的基本性质,并分别给出对合和强对合非结合剩余格的等价条件.最后,通过反例说明强对合预线性非结合剩余格不一定是蕴涵格.
模糊逻辑、非结合剩余格、预线性、对合、蕴涵格
26
O141(数理逻辑、数学基础)
国家自然科学基金资助项目61175044;上海海事大学科研基金
2012-10-29(万方平台首次上网日期,不代表论文的发表时间)
共7页
17-23