四川大学学报（自然科学版）2000，Vol.37Issue(5)：675-682,8.
Gainse-Rescher逻辑系统中的广义重言式理论
THEORY OF GENERALIZED TAUTOLOGY IN GAINSE-RFSCHER' S LOGIC SYSTEM
吴洪博 1阎满富2
作者信息
- 1. 四川大学数学学院,成都610064
- 2. 唐山师范学院数学系,唐山063000
- 折叠
摘要
关键词
模糊逻辑/命题演算/可达a+-重言式/a-矛盾式/升级算法/分划分类
数理科学引用本文复制引用
吴洪博,阎满富..Gainse-Rescher逻辑系统中的广义重言式理论[J].四川大学学报（自然科学版）,2000,37(5):675-682,8.
