1) Medium Logic Propositional Calculus
中介逻辑命题演算
2) propositional logic calculation
命题逻辑演算
1.
This paper introduces a method for propositional logic calculation.
介绍了命题逻辑演算方法。
3) medium proposition logic
中介命题逻辑
4) Medium Propositional Logic
中介逻辑命题
5) medium predicate logic system
中介逻辑谓词演算系统
1.
For medium predicate logic system MF, a new infinite value semantic interpretation that is l-interpretation is introduced, the l-resolution method is led into the MF.
给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的λ解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性。
6) medium logic predicate calculus system MF~M
中介逻辑谓词演算MFM
补充资料：构造命题演算
构造命题演算
constructive propositional calculus
构造命题演算【。班.。”比犯p润p旧I柱门目因回uS;一口仍临…”..oe肚，.c月.姗..e“.3..a..后l 描述在构造数学(constructive mathematics)观点下永真的表达式的推导方法的逻辑演算(fogical calcu-lus).“构造命题演算”一词通常指的是直觉主义命题演算(intuitionistie ProPC‘itional calculus).然而，在某种构造主义的特定解释下，直觉主义命题演算是不完全的.例如，著名的R谓e公式(Rose formula) ((二，月〕A)〕(二，刁V，月))〕(，，刁V，A)，其中A是公式，pV，q，而p，q是命题变元，在直觉主义命题演算中是不可推导的，同时在递归可实现的幻eene解释下是恒真的，至少在接受构造选择原理(constructive selection prindple)(MapKoB厚理(Mar-kov PrindPle))时是如此.实质问题是研究不同的构造数学语义的构造命题演算的完全性.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条