陕西师范大学学报（自然科学版）2001，Vol.29Issue(4)：4-8,5.
系统的半对偶形式系统S
Semi-dual formal deductive system S * for the system *
吴洪博 1陈景林2
作者信息
- 1. 陕西师范大学数学研究所,
- 2. 唐山师范学院数学系,
- 折叠
摘要
关键词
命题演算/形式演绎系统 */半对偶形式演绎系统S */并推理规则分类
数理科学引用本文复制引用
吴洪博,陈景林..系统的半对偶形式系统S[J].陕西师范大学学报（自然科学版）,2001,29(4):4-8,5.
