|
|||||
|
|
| 关于可补格的一种分类问题 | |
| 引用本文： | 王世强.关于可补格的一种分类问题[J].科学通报,1980,25(16):725-725. |
| 作者姓名： | 王世强 |
| 作者单位： | 北京师范大学数学系 (王世强)，上海师范学院数学系(吴望名) |
| 摘 要： | 本文讨论可补格的一种分类问题,它是由于考虑多值逻辑的判定问题而引起的.下面先谈一下它的逻辑来源,但这个问题也可看作是从格论本身自然提出的.在多值逻辑中,命题或谓词的真假值可以是一个格中的元素.在我们所讨论的狭义谓词演算良构式(即合式的公式)中,出现的逻辑符号限于命题连接词∧,∨,～及量词.真假 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |