公理模式相关论文
本刊1992年第6期刊发了张金成同志的《辩证逻辑形式化的研究》一文后,陆续收到了一些稿件,对张文展开了讨论。我们本着“百花齐放,......
Hamilton的谓词形式系统中有这样两个公理模式:((A↓xi)A→A)(其中xi不在A中自由出现)和(((A↓xi)A(xi)→A(t))(其中项t对A(xi)中的xi是自由的)。在将Ha......
By restricting the common replacement axiom schema of ZF to ∑^n-formulae,Profexxor Zhang Jinwen constructed a series of......
本文对学界普遍认可的命题逻辑语法完全性问题重新进行分析,认为:命题逻辑的语法完全性在逻辑上是一个关于形式系统和语义模型之间......