首页 | 本学科首页   官方微博 | 高级检索  
     

(L)ukasiewicz命题逻辑系统中有限命题集的约简理论
引用本文:李立峰,张建科,冯锋.(L)ukasiewicz命题逻辑系统中有限命题集的约简理论[J].计算机工程与应用,2009,45(7).
作者姓名:李立峰  张建科  冯锋
作者单位:西安邮电学院应用数理系,西安,710121
基金项目:陕西省教育厅科研计划 
摘    要:在n值(L)ukasiewicz命题逻辑中提出了命题集T的约简理论,引入由命题集F所诱导的形式背景的概念,从T及其子集的关系出发给出了n值命题逻辑中有限命题集T约简的判定定理以及求T约简的方法.说明了无穷值(L)ukesiewicz命题逻辑中命题集T的约简可转化为n值情形.

关 键 词:(L)ukasiewicz命题逻辑  完备性定理  T约简  形式背景

Reduction theory of finite proposition set in (L)ukasiewiez propositional logic
LI Li-feng,ZHANG Jian-ke,FENG Feng.Reduction theory of finite proposition set in (L)ukasiewiez propositional logic[J].Computer Engineering and Applications,2009,45(7).
Authors:LI Li-feng  ZHANG Jian-ke  FENG Feng
Abstract:
Keywords:
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号