2^n-布尔值逻辑：2-值命题逻辑的自然推广  

2n-Boolean Valued Logic： A Natural Expansion of Semantics of 2-valued Logic

作　　者：周建仁[1] 吴洪博[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《模糊系统与数学》2013年第2期8-14,共7页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(11171196)

摘　　要：将2-值命题逻辑的语义理论推广到了有限布尔代数,得到了2n-布尔值命题逻辑。同时本文给出了2n-布尔值命题逻辑应用的一些例子。By expanding the semantics of 2-valued propositional logic to finite 2^n-Boolean valued propositional logic is obtained. Some examples of application propositional logic are given in the present paper. Boolean algebras, of 2^n-Boolean valued propositional logic are given in the present paper.

关 键 词：命题逻辑 布尔代数 2n-布尔值逻辑 应用 

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