10.3969/j.issn.1000-2367.2009.03.011
Lukasiewicz区间值命题逻辑的广义重言式
给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,...,证明了可达-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.
区间值逻辑、广义重言式、Lukasiewicz命题逻辑
37
TP181(自动化基础理论)
河南省自然科学基金0611053900
2009-10-19(万方平台首次上网日期,不代表论文的发表时间)
共3页
33-35