Natural Deduction 216 浏览 0关注

In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use axioms as much as possible to express the logical laws of deductive reasoning.
 相关概念
 主要的会议/期刊 SLOGICA CADE JAR LPAR(RC... LICS TLCA JOLLI ENTCS