完备格中四种蕴涵运算与伴随关系
【摘要】:在完备格中引入了四种二元运算,即蕴涵运算,反蕴涵运算,伪蕴涵运算和伪反蕴涵运算,它们分别对应四类伴随关系,其中两类伴随关系分别对应于Heyting代数与反Heyting代数,并且我们还讨论了关于四种二元运算的部分性质及其关系。
【相似文献】 | ||
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||
|
|
|||||||||||||||||||||
|
【相似文献】 | ||
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||
|
|
|||||||||||||||||||||
|