On the Finite Strong Completeness of NM<i></i>321;

FONT face; Verdana; WU Hong-bo; ZHANG Qiong; FONT

您当前的位置：

首页 >

文章列表页 >

On the Finite Strong Completeness of NM321;

更新时间：2025-07-16

- On the Finite Strong Completeness of NM321;
- Acta Electronica Sinica Vol. 38, Issue 6, Pages: 1414-1418(2010)
- 作者机构：
  
  （陕西师范大学数学与信息科学学院, ）,陕西,西安,710062
- 作者简介：
- 基金信息：
- DOI：
  CLC： O141.1
- Published：2010
- 稿件说明：
移动端阅览
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, 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

Views

961

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

The Properties of Truth Degrees of Formulas in (3n+1) -Valued Logic System R₀L

A Novel Vertical Handoff Algorithm Based on Fuzzy Logic in Aid of Pre-decision Method

Generalized Tautology in Fuzzy Modal Propositional Logic

Multi-Dimensional Qualitative Spatial Query Language MQS-SQL

A Fuzzy Logic Approach for Active Queue Management

Related Author

ZHANG Qiong

ZHOU Jian-ren

WU Hong-bo

HE Chen

JIANG Ling-ge

LIU Xia

LI Hong-xing

GU Yun-dong

Related Institution

College of Mathematics and Information Science,Shanxi Normal University,,Shaaxi

School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University

School of Mathematics and PhysicsNorth China Electric Power UniversityBeijing 102206China

School of Mathematical SciencesBeijing Normal UniversityBeijing 100875China

School of Mathematics and Physics,North China Electric Power University

⁰

On the Finite Strong Completeness of NM321;

DOI：

摘要

Abstract

关键词

Keywords

references