%0 Journal Article %T 谓词形式系统vulh[0.75,1]及其可靠性 %A 马盈仓 %A 何华灿? %J 计算机科学 %D 2011 %X 对基于一级泛与运算的一阶谓词演算形式系统vulh[0.75,1]-进行公理化。通过引入全称量词和存在量词,建立与命题形式系统vulh[0.75,1]相对应的一阶谓词形式系统vulh[0.75,1],并证明该系统的可靠性定理及演绎定理。 %K 泛逻辑 %K 谓词演算形式系统 %K 泛与运算 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110544&flag=1