摘要
本文建立了格值逻辑的正规性概念,证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑,并证明了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.
出处
《数学学报(中文版)》
SCIE
CSCD
北大核心
2007年第6期1243-1248,共6页
Acta Mathematica Sinica:Chinese Series
基金
国家自然科学基金(60273015)
关键词
强特征式
正规逻辑系统
格值模型论
strong character
regular logic
lattice-valued model theory