可检索词: (英文)题名=T 作者=A 关键词=K 摘要=R 机构=O 主题=S 刊名=M 分类号=N
检索规则说明: [&]代表"并且";[|]代表"或者";[!]代表"不包含" (运算符两边不需要空格)
检索范例: 范例一:(k=科技[|]k=技术)[&]t=范并思 范例二:t=计算机应用与软件[&](R=C++[|]R=Basic)[!]t=西华师范大学
主办单位:
出版地:
ISSN:
主编:
邮发代号:
中图分类号: 选择
中文会议: 2003年逻辑研究专辑
作 者: ; ;
机构地区: 南开大学哲学院
摘 要: <正>20世纪下半叶是非经典逻辑蓬勃发展的时期。在这一时期,陆续诞生了相干逻辑、时态逻辑、量子逻辑、规范逻辑、多值逻辑等非经典逻辑,其中最引人注目的非经典逻辑是次协调逻辑。次协调逻辑的兴起展示了逻辑走多元化发展道路的必然性和可能性。同时也促进了逻辑在计算机科学、人工智
分 类 号: [B81]
领 域: [哲学宗教]