|
|||||
|
|
| BL命题逻辑系统的强同余关系及演绎系统 | |
| 作者姓名： | 崔艳丽 梁颖 吴洪博 |
| 作者单位： | 1. 陕西师范大学 数学与信息科学学院, 西安 710119; 2. 汉中职业技术学院， 陕西 汉中 723002 |
| 摘 要： | 通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念, 并引入强同余关系, 讨论BL系统中演绎系统和强同余关系之间的联系, 给出二者之间相互转换的方法, 并得到了二者之间相互转换的还原性. |
| 关 键 词： | 演绎系统 模糊逻辑 强同余关系 命题逻辑系统BL |
| 收稿时间： | 2017-02-08 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 | |
| 点击此处可从《吉林大学学报(理学版)》下载全文 | |