| Gainse-Rescher逻辑系统中的一种降级算法及其性质 |
| |
| 引用本文： | 吴洪博,文秋梅.Gainse-Rescher逻辑系统中的一种降级算法及其性质[J].数学研究,2002,35(1):60-64. |
| |
| 作者姓名： | 吴洪博 文秋梅 |
| |
| 作者单位： | 唐山师范学院数学系,河北,唐山,063000 |
| |
| 摘 要： | 在Gainse-Rescher逻辑系统^-C，Gr,Sn中的广义矛盾式之间建立了一种降级算法，并讨论了该降级算法的基本性质。主要结果是：在逻辑系统^-Gr(Gr)中，矛盾式不可能由对非矛盾式进行有限次降级算法得到，在逻辑系统Sn中，对任一公式最多次行n-1次降级算法即可得到矛盾式。
|
| 关 键 词： | 模糊逻辑 Gainse－Rescher逻辑系统 广义矛盾式 降级算法 |
| 修稿时间： | 2001年4月26日 |
A Kind of Downgrade Algorithm and its Properties in Gainse-Rescher Logic System |
| |
| Wu Hongbo,Wen Qiumei.A Kind of Downgrade Algorithm and its Properties in Gainse-Rescher Logic System[J].Journal of Mathematical Study,2002,35(1):60-64. |
| |
| Authors: | Wu Hongbo Wen Qiumei |
| |
| Abstract: | We establish a downgrade algorithm among generalized contradictions in Gainse Rescher logic system r, G r, S n. The basic properties of the downgrade algorithm are discussed. The main results of this paper are: (1) In logic system r(G r) , contradiction can not be get by using downgrade algorithm to non contradiction within finite times. (2) In logic system S n, contradiction can be gained by employing downgrade algorithm to an arbitrary formula at most n-1 times. |
| |
| Keywords: | fuzzy logic Gainse Rescher logic system generalized contradiction downgrade algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
