期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
命题逻辑的证伪系统 被引量：1
1
作者 刘新文 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2011年第3期23-25,共3页
一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系... 一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系统H珚,本文在此基础上做进一步的推广以包括直觉主义命题逻辑、模态命题逻辑的证伪系统并做一般性讨论。 展开更多
关键词 证伪系统 古典命题逻辑 直觉主义命题逻辑 模态命题逻辑
下载PDF
简论张清宇的证伪系统
2
作者 刘新文 《重庆理工大学学报（社会科学）》 CAS 2017年第5期7-9,15,共4页
国内第一个以形式化方法建立起矛盾命题(或者说恒假命题)形式系统的是张清宇研究员。结合20世纪八九十年代逻辑发展的背景,研究张清宇当时提出的"证伪系统"概念和相关工作的学术来源,并给出初步的评价。
关键词 证伪系统 排斥 反驳系统
下载PDF
自学考试中试卷笔迹证伪系统的设计
3
作者 李奇 姜维 杨华民 《长春理工大学学报（自然科学版）》 2003年第3期13-15,共3页
本文从自学考试试卷笔迹一致性检查的实际问题出发 ,通过场记实验 ,发现人在笔迹识别过程中是从篇章全局特征、字局部特征和笔划局部特征三个层次上 ,从粗到细逐步进行的 。
关键词 自学考试 笔迹证伪 笔迹识别 人机笔迹证伪系统 设计
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部