基于有限格蕴涵代数的格值命题逻辑语义系统  

Semantic System of Lattice-Valued Propositional Logic Based on Finite Lattice Implication Algebra

作　　者：马骏[1] 秦克云[1] 徐扬[1] 

机构地区：[1]西南交通大学应用数学系,四川成都610031

出　　处：《西南交通大学学报》2002年第5期557-560,共4页Journal of Southwest Jiaotong University

基　　金：国家自然科学基金资助项目 (6 0 0 74 0 14 )

摘　　要：以有限格蕴涵代数作为逻辑系统的真值域 ,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统。研究了在A水平上系统的赋值和公式的可满足性等基本定义 ,证明了系统“有效性”With the finite lattice implication algebra being the range of true values of a logic system, a semantic system of lattice valued propositional logic based on the finite lattice implication algebra is built. Some basic definitions, such as the valuation of the system and the satisfiability of formulas on level A, etc. , is discussed. The decidability of effectiveness of the system is proved, and a decision algorithm is presented.

关 键 词：有限格蕴涵代数 多值逻辑 逻辑代数 格值命题逻辑语义系统 数理逻辑 

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