首页> 中文期刊>陕西师范大学学报（自然科学版） >关于形式系统L*及R0-代数的若干结果

关于形式系统L*及R0-代数的若干结果

开具论文收录证明 >>

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

页面导航

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

摘要

研究了模糊逻辑的形式演绎系统L*及R0-代数的性质,得到形式系统L*的两个更简捷的等价系统,证明了R0-代数的对偶代数是有界逆序对合BCK-代数,并给出关于R0-代数的一个重要反例,说明了R0-代数中V与→是各自独立的.

著录项

来源
《陕西师范大学学报（自然科学版）》|2003年第3期|28-3142|共5页
作者
王保社; 张小红;
展开▼
作者单位

咸阳师范学院数学系,陕西,咸阳,712000;

宁波大学理学院,浙江,宁波,315211;

展开▼
原文格式 PDF
正文语种 chi
中图分类命题演算、谓词演算、类演算;
关键词
模糊逻辑; 形式演绎系统; R0-代数; BCK-代数;

相似文献

中文文献
外文文献
专利

1. R0-代数的R0-语义集上的拓扑 [J] . 张家录 ,王国俊 . 自然科学进展 . 2006,第009期
2. R0-代数的导子 [J] . 花秀娟 . 计算机工程与应用 . 2017,第021期
3. 区间集上R0-代数的特征性质及其简化表示定理 [J] . 乔希民 . 济南大学学报（自然科学版） . 2016,第002期
4. 基础 R0-代数与 BCI/BCK-代数的关系（Ⅱ） [J] . 乔希民 ,李超 ,罗俊丽 . 内蒙古师范大学学报（自然科学汉文版） . 2015,第001期
5. R0-代数的Fuzzy拓扑表现定理 [J] . 斯钦孟克 . 内蒙古师范大学学报（自然科学汉文版） . 2015,第005期
6. 区间集上R0-代数的表示形式 [C] . QIAO Ximin ,乔希民 . 第十七届中国模糊数学与模糊系统学术会议 . 2014
7. 可计算性逻辑中若干形式系统及算子的研究 [A] . 许文艳 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号