首页> 中文期刊> 《河南科学》 >关于BCK代数的模型论性质

关于BCK代数的模型论性质

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此存在非构建的Skolem函数,另外,通过使用超滤子的概念以及所讨论的模糊理想的相应的性质,提出了超积BCK代数和BCK代数模糊子集的模糊超积.

著录项

来源
《河南科学》 |2008年第9期|1021-1023|共3页
作者
郑淑红;
展开▼
作者单位

商丘职业技术学院,河南,商丘,476000;

展开▼
原文格式 PDF
正文语种 chi
中图分类随机过程;
关键词
BCK代数; 模型完备性; 完备性; 超积; 模糊超积;

相似文献

中文文献
外文文献
专利

1. 格蕴涵代数的模型论性质 [J] . 秦克云 ,徐扬 . 西南交通大学学报 . 2000,第005期
2. 有界关联BCK代数的性质 [J] . 王英 . 牡丹江大学学报 . 2011,第003期
3. 主理想BCK-代数的性质 [J] . 曾庆怡 . 浙江外国语学院学报 . 2005,第002期
4. 有界关联BCK代数的性质与刻画 [J] . 陈世联 ,杨凤藻 . 昆明理工大学学报：理工版 . 2004,第4期
5. BCK-代数的模糊理想的若干性质(英文) [J] . C.LELE ,吴从炘 . 模糊系统与数学 . 2001,第1期
6. 格蕴涵代数的模型论性质 [C] . 秦克云 ,徐扬 . 第八届全国多值逻辑与模糊逻辑学术会议 . 1998
7. BCK-代数的广义模糊蕴涵理想和广义模糊BCK-滤子 [A] . 刘银萍 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号