该文提出了一个形式系统（formal system）,它基于一阶逻辑,比H.J.OhIbach和J.Koehler提出的算法适用性更大,功能更强;该系统通过定义......

提出一个逻辑推理与算术运算合并系统的形式定义,通过合并算子把逻辑推理合并到算术系统中,使得在需要解决逻辑推理中的数值计算时......