论文部分内容阅读
首先讨论了Ockham代数与剩余格的关系,引入了强Ockham代数的概念,并讨论了它的基本性质.然后,将著名的风蕴涵和风算子推广到Ockham代数上,证明了添加广义R0蕴涵和广义风算子后的Ockham代数L成为剩余格的充要条件是L为强Ockham代数.最后给出若干重要例子,以此来说明强Ockham代数的条件是独立的.