首页> 中文期刊> 《计算机工程与应用》 >完备剩余格上的蕴涵闭包系统

完备剩余格上的蕴涵闭包系统

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

在完备剩余格上引入了蕴涵闭包系统的概念,讨论了蕴涵闭包系统与闭包系统之间的关系.给出了蕴涵闭包系统的一些性质及其表示定理.进一步研究了蕴涵闭包算子和蕴涵闭包系统的关系.

著录项

来源
《计算机工程与应用》 |2010年第31期|43-44|共2页
作者
于海; 詹婉荣;
展开▼
作者单位

洛阳师范学院;

数学科学学院;

河南;

洛阳;

471022;

洛阳师范学院;

数学科学学院;

河南;

洛阳;

471022;

展开▼
原文格式 PDF
正文语种 chi
中图分类数理逻辑（符号逻辑）;
关键词
完备剩余格; 闭包系统; 蕴涵闭包算子; 蕴涵闭包系统;

相似文献

中文文献
外文文献
专利

1. 完备剩余格上的蕴涵闭包算子 [J] . 于海 ,詹婉荣 . 计算机工程与应用 . 2010,第028期
2. 完备剩余格中的全蕴涵推理方法 [J] . 吴洪博 ,邵晓丽 . 数学进展 . 2006,第003期
3. 相似剩余格及其对应逻辑系统的完备性 [J] . 王军涛 . 高校应用数学学报A辑 . 2021,第001期
4. 基于正规剩余格的一个逻辑系统及其完备性 [J] . 裴道武 . 淮阴师范学院学报（自然科学版） . 2002,第001期
5. 关于传递闭包和函数依赖完备公理系统存在的问题研究 [J] . 聂培尧 . 软件学报 . 1994,第003期
6. 完备格上左(右)半统一模诱导的蕴涵 [C] . HAO Xiaoying ,郝晓英 ,NIU Meixia . 第十七届中国模糊数学与模糊系统学术会议 . 2014
7. 完备格上左（右）半统一模和余蕴涵 [A] . 牛美霞 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号