first-order logic with equality | BriefGPT

关键词first-order logic with equality

搜索结果 - 1

讨论和论证的一阶逻辑平等推理的讨论图语义
我们通过对一阶逻辑（带等号）公式的语义进行自顶向下的表述，解决当前对于一般讨论和争论模型缺乏正式推理框架的问题。
PDF16 days ago