标号自然演绎系统
labeled natural deduction system
改进形式演绎系统L*0
improved formal deductive system L * 0
基于规则演绎系统
rule based deduction system
基于正向规则演绎系统
forward rule based deduction system
假设演绎系统
hypotheticaldecluctive system
弱完全对偶形式演绎系统WCL-*
weak completely dual formal system WC L
形式演绎系统L*
formal deductive system L