10.3778/j.issn.1673-9418.2008.02.009
参数LP系统的三I算法与α-三I算法
给出了连续三角模族Tp-L及其伴随蕴涵算子族Rp-L的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族Rp-L的三I算法与α-三I算法.
系统LP、蕴涵算子族尺Rp-L、三I算法、α-三I算法
2
O231(控制论、信息论(数学理论))
教育部科学技术研究重点项目206089
2008-07-14(万方平台首次上网日期,不代表论文的发表时间)
共6页
206-211