贝尔纳普,努尔·D·琼。 有用的四值逻辑。 (英语) Zbl 0424.03012号 国防部。《多值逻辑的应用》,第五国际交响乐团。,布卢明顿1975,5-37(1977)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 +4 +5 显示扫描页面 引用于14评论引用于143文件 MSC公司: 03B50号 多值逻辑 05年3月 与逻辑问题相关的自动机和形式文法 03B53号 准一致逻辑 关键词:问答机;四值逻辑;次协调逻辑 引文:Zbl 0355.00008号;Zbl 0239.54006号;Zbl 0236.02022号;Zbl 0425.03031号 PDF格式BibTeX公司 XML格式