|
|||||
|
|
| Gainse-Rescher系统基于子代数的广义重言式 | |
| 作者姓名： | 李顺琴 惠小静 |
| 作者单位： | 延安大学 数学与计算机科学学院,陕西 延安 716000 |
| 摘 要： | 将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集[F(S)]的一个分划。 |
| 关 键 词： | Gainse-Rescher逻辑系统 广义重言式 子代数 分划 |
| 本文献已被 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与应用》下载全文 | |