| 有限可补格上的一阶格值逻辑几个性质 |
| |
| 引用本文： | 童雪,别荣芳. 有限可补格上的一阶格值逻辑几个性质[J]. 数学学报, 2007, 50(6): 1243-124. DOI: CNKI:SUN:SXXB.0.2007-06-007 |
| |
| 作者姓名： | 童雪 别荣芳 |
| |
| 作者单位： | 华北电力大学数理系，北京师范大学信息科学学院 北京 102206，北京 100875 |
| |
| 基金项目： | 国家自然科学基金(60273015) |
| |
| 摘 要： | 本文建立了格值逻辑的正规性概念,证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑,并证明了Fraise定理在其上成立.
|
| 关 键 词： | 强特征式 正规逻辑系统 格值模型论 |
| 文章编号： | 0583-1431（2007）06-1243-06 |
| 收稿时间： | 2006-03-13 |
| 修稿时间： | 2006-03-13 |
Some Properties of First Order Lattice-Valued Logic with the Lattice Being Finite and Inverse |
| |
| Xue TONG,Rong Fang BIE. Some Properties of First Order Lattice-Valued Logic with the Lattice Being Finite and Inverse[J]. Acta Mathematica Sinica, 2007, 50(6): 1243-124. DOI: CNKI:SUN:SXXB.0.2007-06-007 |
| |
| Authors: | Xue TONG Rong Fang BIE |
| |
| Affiliation: | 1.Mathematics and Physics School, North China Electric Power University, Beijing 102206, P. R. China;2.College of Information Science, Beijing Normal University, Beijing 100875, P. R. China |
| |
| Abstract: | This paper sets up regularity on lattice-valued logic,proves that the first or- der lattice-valued logic with the lattice being finite,inverse and having strong character formula is regular and that Fraise theorem holds on it. |
| |
| Keywords: | strong character regular logic lattice-valued model theory |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《数学学报》浏览原始摘要信息 |
|
点击此处可从《数学学报》下载全文 |
