LF(X)中带广义量词的可靠性定理

摘要

讨论一阶格值逻辑系统LF(X)中带广义量词的语法推理,同时证明了LF(X)中带广义量词的可靠性定理,作为应用我们对带广义量词的一些推理规则作了语法的证明。