关于格蕴涵代数的几点注记

来源 :第九届全国多值逻辑与模糊逻辑学术会议 | 被引量 : 0次 | 上传用户:baobaolan1007
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文给出了一般(2,1,0,0)型代数(L,→,*,0,1)成为格蕴涵代数的充要条件,证明了在有限链及四元格上只有一种格蕴涵代数,且不存在五元格蕴涵代数。
其他文献
会议
该文从为了获得遥感数字图像通信最佳帧同步捕获性能,改进了传统的格式化同步器实现方案,导出了容错门限自适应的格式化同步器,给出了自适应容错门限格式化同步器帧同步一次捕获
该文采用离心模型试验和有限元数值分析方法对格形钢板桩结构的侧向变形进行了研究。首先简要介绍了格形结构的离心模型试验成果,并对格形结构的变形机理进行了分析,从而在有限
该文提出了推导格型编码调制(TCM)码生成函数的简化方法,设计了一种级联TCM和PS码的卫星数字视频广播(DVB-s)传输方案,分析了该方案的基本原理和设计指标,并对其误码性能进行计算机模拟。模拟结果
该文从理论和实验两方面讨论了格形矢量量化(LVQ)在图象压缩中的应用,提出在一定条件下,对非均匀分布的信源矢量进行LVQ,可通过引人熵编码使其达到最优的量化性能。该文最后对基于LVQ和JPEG的图
该文给出了由格蕴涵代数诱导出的伴随半群及有关概念,详细讨论了伴随半群中的元素即格蕴涵代数的左映射a的性质,得出了a的稳定子S(a),像Ima和核Kera之间的关系,同时得到了关于a的几个等
该文建立了一个真值域中含有不可比元素的四值逻辑系统Q,并讨论了它的基本性质。
为了在基于格蕴涵代数的格值逻辑系统中构造行之有效的归结证明算法,该文探讨了经典归结及一些扩充的模糊逻辑的归结方法的局限性,并提出了一种针对蕴涵的类归结方法和一些值得