10.3969/j.issn.1004-3918.2008.09.004
关于BCK代数的模型论性质
研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此存在非构建的Skolem函数,另外,通过使用超滤子的概念以及所讨论的模糊理想的相应的性质,提出了超积BCK代数和BCK代数模糊子集的模糊超积.
BCK代数、模型完备性、完备性、超积、模糊超积
26
O211.6(概率论与数理统计)
河南省教育厅基金项目2007-JKHAG-322
2008-12-15(万方平台首次上网日期,不代表论文的发表时间)
共3页
1021-1023