10.3969/j.issn.1007-9793.2005.03.001
Hilbert代数的若干注记
首先在Hilbert代数上定义了二元序关系和一元运算*,讨论了相关的性质,研究了它与Wajsberg代数及弱R0代数之间的关系,由此引入弱Hilbert代数;其次,在弱Hilbert代数上定义了(×)运算,得到了一类剩余格;最后,讨论了弱Hilbert代数的推理系统.
Hilbert代数、弱Hilbert代数、伴随对、推理系统
25
O1.15
2005-06-16(万方平台首次上网日期,不代表论文的发表时间)
共4页
1-3,8