Unification with parameters in the implication fragment of classical propositional logic

LOGIC JOURNAL OF THE IGPL（2022）

引用 0|浏览1

暂无评分

摘要

In this paper, we show that the implication fragment of classical propositional logic is finitary for unification with parameters.

查看译文

关键词

classical propositional logic, implication fragment, unification with parameters, unification type

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要