有限可补格上的一阶格值逻辑几个性质  

Some Properties of First Order Lattice-Valued Logic with the Lattice Being Finite and Inverse

作　　者：童雪[1] 别荣芳[2] 

机构地区：[1]华北电力大学数理系,北京102206 [2]北京师范大学信息科学学院,北京100875

出　　处：《数学学报（中文版）》2007年第6期1243-1248,共6页Acta Mathematica Sinica：Chinese Series

基　　金：国家自然科学基金(60273015)

摘　　要：本文建立了格值逻辑的正规性概念,证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑,并证明了Fraise定理在其上成立.This paper sets up regularity on lattice-valued logic, proves that the first order lattice-valued logic with the lattice being finite, inverse and having strong character formula is regular and that Fraise theorem holds on it.

关 键 词：强特征式 正规逻辑系统 格值模型论 

分 类 号：O141.4[理学—数学]