期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
逻辑图:从古典到形式化的发展 被引量:4
1
作者 刘新文 《湖南科技大学学报(社会科学版)》 2006年第4期25-29,共5页
古典的逻辑图主要包括欧拉图和文恩图(一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内)。由于可靠(且完全)的逻辑推演规则的提出,在逻辑图从古典形式走向形式化的发展历程中,具有转折性的是皮尔士-文恩图以及皮尔士的存在... 古典的逻辑图主要包括欧拉图和文恩图(一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内)。由于可靠(且完全)的逻辑推演规则的提出,在逻辑图从古典形式走向形式化的发展历程中,具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统,现代形式的图式逻辑就是在这两者的基础上建立起来的。 展开更多
关键词 逻辑图 可表达性 图形转换规则 图式逻辑
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部