位置：成果数据库 > 期刊 > 期刊详情页
一种弗协调认知逻辑CnEK
  • ISSN号：0469-5097
  • 期刊名称：《南京大学学报：数学半年刊》
  • 时间：0
  • 分类：O141[理学—数学;理学—基础数学]
  • 作者机构：[1]南开大学哲学系,天津300071, [2]华东师范大学哲学系,上海200241
  • 相关基金：Supported by the Social Science Foundation of the Ministry of Education of China （06JA724002）.
作者： 李娜[1], 郝旭东[2]
关键词： 弗协调逻辑, 认知逻辑, 弗协调认知逻辑, paraconsistent logic, epistemic Logic,paraconsistent epistemic logic
中文摘要：

本文试图以弗协调模态逻辑CnG′为基础，建立一种弗协调认知逻辑CnEK．

英文摘要：

The paper is devoted to build a paraconsistent epistemic logic CnEK on the basis of the paraconsistent modal logic CnG″.

同期刊论文项目
　弗协调认知逻辑研究
期刊论文 3
同项目期刊论文
一阶谓词逻辑在人工智能知识表示中的应用
弗协调单主体认知逻辑系统CnEK及其扩张
期刊信息
  • 《南京大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国教育部
  • 主办单位:南京大学
  • 主编：龚昌德
  • 地址：南京汉口路22号南京大学（自然科学版）编辑部
  • 邮编：210093
  • 邮箱：xbnse@netra.nju.edu.cn
  • 电话：025-83592704
  • 国际标准刊号：ISSN：0469-5097
  • 国内统一刊号：ISSN：32-1169/N
  • 邮发代号:28-25
  • 获奖情况:
  • 中国自然科学核心期刊,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:9316