This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.

给出了相干命题逻辑自然推理系统NR的自动证明算法。

youdao

This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.

给出了相干命题逻辑自然推理系统NR的自动证明算法。

youdao