摘要
将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.
出处
《模糊系统与数学》
CSCD
北大核心
2013年第2期8-14,共7页
Fuzzy Systems and Mathematics
基金
国家自然科学基金资助项目(11171196)
关键词
命题逻辑
布尔代数
2n-布尔值逻辑
应用
Propositional Calculus
Boolean Algeba
2^n-Boolean Valued Logic
Applications