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