This paper presented an automated reasoning algorithm for natural deductionsystem (NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
2
Such as, set up the fiscal loan system, fiscal interest deductionsystem, loan loss provisions system and capital increasing system.
包括，建立财政借款制度、财政贴息制度、贷款损失准备金制度以及资本金补充制度等。
3
Deduction is to find balance between heirs. It should be cut from the total heritage heirs getting from decedent. The deductionsystem is derived from the Roman Law.