|国家科技期刊平台
| 注册
首页|期刊导航|北京师范大学学报：自然科学版|一些多值狭义谓词演算中的标准形

一些多值狭义谓词演算中的标准形

王世强 翁稼丰

北京师范大学学报：自然科学版Issue(2)：P.19-23,5.
✕
北京师范大学学报：自然科学版Issue(2)：P.19-23,5.

一些多值狭义谓词演算中的标准形

王世强 1翁稼丰2

作者信息

  • 1. 北京师范大学数学系
  • 2. 上海宝山钢铁总厂
  • 折叠

摘要

关键词

谓词演算/标准形/真假值/前束/模型论/命题连接词/不可判定性/数序/判定问题/逻辑符号

分类

数理科学

引用本文复制引用

王世强,翁稼丰..一些多值狭义谓词演算中的标准形[J].北京师范大学学报：自然科学版,1980,(2):P.19-23,5.

北京师范大学学报：自然科学版

0476-0301

访问量0
|
下载量0
段落导航相关论文