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

• 作者: 别荣芳 童雪
• 来源期刊: 中国学术期刊文摘
• 学科: 工学
• 关键词: 强特征式 正规逻辑系统 格值模型论
• 年，卷（期）: 2008,（9）
• 页码范围: 10
• 页数: 1页
• 分类号: O152.7|TP18
• 语种: 中文

摘要

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