排序方式: 共有2条查询结果,搜索用时 31 毫秒
1
1.
基于认知逻辑分析了模态逻辑在运用方面具有与一阶逻辑不同的特点,它不仅可以通过系统演绎论证来刻画具体的概念和实质对象,还能够解决许多领域中的现实问题,并指出了模态逻辑具有特殊性的两大基本原因。 相似文献
2.
由西南大学逻辑与智能研究中心和重庆逻辑学会主办,国际符号逻辑学会协办的逻辑、语言与计算国际会议暨第二届东亚逻辑、语言与计算学校于2012年8月25日至31日在西南大学成功举办。本次活动是继2010年在中山大学举行的“中欧逻辑、语言与计算冬令学校”之后的第二届活动,旨在对逻辑、语言和计算机科学的交叉研究领域开展研讨,促进跨学科、跨地区学术交流与合作,展示现代逻辑与数学、哲学、语言学、信息科学等学科的内在联系,训练和培养青年学者,发现人才。 相似文献
1