|
|||||
|
|
| 一阶格值逻辑系统FM的语法问题 | |
| 作者姓名： | 徐扬 秦克云 宋振明 |
| 作者单位： | 西南交通大学应用数学系!成都610031 |
| 摘 要： | 文献[1～3]建立了以丰富剩余格为真值域的命题逻辑系统,得到了一些结果.为研究更一般的格值逻辑系统,文献[4]提出了格蕴涵代数的概念,文献[5]讨论了以格蕴涵代数为真值域的命题逻辑,文献[6」建立了以格蕴涵代数为真值域的—阶逻辑系统FM,本文讨论FM的语法问题,得到了FM的可靠性定理、演绎定理及协调性定理.设L是一格蕴涵代数,F是系统FM的公式集合.定理1~[6]对于任意公式p,q,r及正整数m,n,下列公式都是有效公式: |
| 关 键 词： | 格蕴涵代数 格值逻辑 真值域 语法 演绎定理 |
| 收稿时间： | 1996-08-30 |
| 修稿时间： | 1997-01-22 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载全文 | |