可检索词: (英文)题名=T 作者=A 关键词=K 摘要=R 机构=O 主题=S 刊名=M 分类号=N
检索规则说明: [&]代表"并且";[|]代表"或者";[!]代表"不包含" (运算符两边不需要空格)
检索范例: 范例一:(k=科技[|]k=技术)[&]t=范并思 范例二:t=计算机应用与软件[&](R=C++[|]R=Basic)[!]t=西华师范大学
主办单位:
出版地:
ISSN:
主编:
邮发代号:
中图分类号: 选择
作 者: ; ;
机构地区: 汕头大学工学院计算机科学与技术系
出 处: 《计算机科学》 1994年第6期1-7,共7页
摘 要: 这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有的一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单调逻辑密切有关,因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。
关 键 词: 超协调逻辑 经典逻辑
领 域: [自动化与计算机技术] [自动化与计算机技术]