Journal of automated reasoning. 1994;13(2):243-281. doi: 10.1007/bf00881958 Q40.72025
A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics
通过标记演绎系统对分析性演绎的推广。第一部分：基本亚结构逻辑
DOI: 10.1007/bf00881958
摘要 查看摘要
