逻辑系统L*和BL*的广义演绎定理的逆定理

荣宇音，徐罗山

Inverse Theorems of Generalized Deduction Theorems in Logic Systems L* and BL*

RONG Yuyin, XU Luoshan

计算机工程与应用 . 2019, (1): 47 -49 . DOI: 10.3778/j.issn.1002-8331.1712-0424