证伪系统相关论文
一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年（基于他......
国内第一个以形式化方法建立起矛盾命题（或者说恒假命题）形式系统的是张清宇研究员。结合20世纪八九十年代逻辑发展的背景,研究张清......
