数理逻辑与数学基础有限可补格上的一阶格值逻辑几个性质  

Some properties of first order lattice-valued logic with the lattice being finite and inverse

作　　者：童雪[1] 别荣芳 

机构地区：[1]华北电力大学数理系,北京102206 [2]不详

出　　处：《中国学术期刊文摘》2008年第9期10-10,共1页Chinese Science Abstracts(Chinese Edition)

摘　　要：建立了格值逻辑的正规性概念，证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑，并证明了Fraise定理在其上成立．

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

分 类 号：O152.7[理学—数学] TP18[理学—基础数学]