NM<i></i>321;系统的有限强完备性

FONT face; Verdana; 吴洪博; 张 琼; FONT

您当前的位置：

首页 >

文章列表页 >

NM321;系统的有限强完备性

科研通信 | 更新时间：2025-07-16

- NM321;系统的有限强完备性
- On the Finite Strong Completeness of NM321;
- 电子学报 2010年38卷第6期页码：1414-1418
- 作者机构：
  
  （陕西师范大学数学与信息科学学院, ）,陕西,西安,710062
- 作者简介：
- 基金信息：
- DOI：
  中图分类号： O141.1
- 纸质出版：2010
- 稿件说明：
移动端阅览
FONT face, Verdana, 吴洪博, 等. NM321;系统的有限强完备性[J]. 电子学报, 2010,38(6):1414-1418.

FONT face, Verdana, WU Hong-bo, et al. On the Finite Strong Completeness of NM321;[J]. Acta Electronica Sinica, 2010, 38(6): 1414-1418.
FONT face, Verdana, 吴洪博, 等. NM321;系统的有限强完备性[J]. 电子学报, 2010,38(6):1414-1418. DOI：

FONT face, Verdana, WU Hong-bo, et al. On the Finite Strong Completeness of NM321;[J]. Acta Electronica Sinica, 2010, 38(6): 1414-1418. DOI：

摘要

FONT face=Verdana>对NM

321;系统(Nilpotent Minimum

321;ukasiewicz Logic)进行了研究，讨论了NM

321;系统的强完备性问题.首先对NM

321;-链的性质作了进一步的研究

证明了任一NM

321;-链都可部分嵌入到中;其次

利用这一性质证明了NM

321;系统的有限强完备性定理;最后指出

在NM

321;系统中

关于无限理论的强完备性定理是不成立的.

Abstract

FONT face=Verdana>Having researched further into the NM

321; system(Nilpotent Minimum

321;ukasiewicz Logic)

the strong completeness of NM

321; is discussed. Firstly

the properties of NM

321;-chain are studied and it is proved that each NM

321; -chain is partially embeddable into . Secondly

the finite strong completeness theorem of NM

321; is investigated by means of the partially embeddable property. Finally

it points out that NM

321; does not enjoy the strong completeness about infinite theory.

关键词

Keywords

references

浏览量

961

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

(3n+1)值逻辑系统R₀L中公式的真度性质

一种基于模糊逻辑的预判决辅助垂直切换算法

模糊模态命题逻辑及其广义重言式

混合维定性空间查询语言MQS-SQL

一种基于模糊逻辑的主动队列管理算法

NM321;系统的有限强完备性

On the Finite Strong Completeness of NM321;

DOI：

摘要

Abstract

关键词

Keywords

references