10.3969/j.issn.1005-3085.2005.01.023
关于形式系统(L)*的强完备性
进一步讨论了形式系统(L)*中的一般演绎推理及强完备性问题.对于任意的公式集Г,引入一种新的代数结构-R0(Г)代数,利用子代数结构,代数滤子理论及次直积分解理论等代数工具,证明了系统(L)*的强完备性定理.
模糊逻辑、形式系统(L)*、R0(Г)代数、强完备性
22
O175.2(数学分析)
国家重点基础研究发展计划973计划2003CB316902;国家自然科学基金60475019
2005-03-24(万方平台首次上网日期,不代表论文的发表时间)
共5页
128-132