欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
主要解决基于一级泛与运算的一阶谓词演算形式系统ULh^-∈[0.75,1]的完备性。通过引入全称量词和存在量词，建立与命题形式系统比ULh^-∈[0.75,1]相对应的一阶谓词形式系统ULh^-∈[0.75,1]，证明其完备性定理。从而说明形式系统ULh^-∈[0.75,1]的语义和语构是和谐的。
英文摘要：
The main aim of this paper is solving the completeness of first-order predicate calculus formal system ULh^-∈[0.75,1] based on first-level universal AND operator.By introducing the universal quantifier and existential quantifier, the predicate calculus formal deductive system ULh^-∈[0.75,1] based on 0-level universal AND operator according to propositional calculus formal deductive system ULh^-∈[0.75,1] of universal logic is built up,moreover, the completeness theorem of system is proved.So it shows that the semantic and syntactic of system ULh^-∈[0.75,1] are harmony.
同期刊论文项目
同项目期刊论文
期刊信息
位置：