格值一阶逻辑系统LF(X)相关论文
给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台.......
讨论格值一阶逻辑系统LF（X）中带广义量词的不确定性推理规则，和FMP、FMT规则。为研究带广义量词的归结自动推理作准备，也为研究语言值......
讨论格值一阶逻辑系统LF（X）中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自......
