10.3969/j.issn.1001-7402.2002.02.009
基础L*系统的一种扩张——Lukasiewicz系统
研究模糊命题演算的形式演绎系统L*和Lukasiewicz命题演算系统Lu,提出基础系统L*--BL*系统,证明BL*系统的一种扩张与Lukasiewicz系统之间的等价性,从而为L*系统和BL*系统提供了一个应用实例.
模糊逻辑、命题演算、基础ょ*系统、Lukasiewicz系统
16
O141.1(数理逻辑、数学基础)
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共6页
52-57