一阶格值逻辑系统FM的语法问题 |
| |
引用本文: | 徐扬,秦克云,宋振明.一阶格值逻辑系统FM的语法问题[J].科学通报,1997,42(10):1052-1055. |
| |
作者姓名: | 徐扬 秦克云 宋振明 |
| |
作者单位: | 西南交通大学应用数学系!成都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 维普 等数据库收录! |
| 点击此处可从《科学通报》浏览原始摘要信息 |
| 点击此处可从《科学通报》下载免费的PDF全文 |
|