This paper holds that the scientific mode of legal deduction should be the organic unification of formal reasoning and substantial reasoning.
法律推理的科学模式应是形式论证与实质论证的有机统一。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
应用推荐