.png){kind=icon}
返回
Residuated bilattices
.png){kind=icon}
PRE
AI
DOI：10.1007/s00500-011-0752-x.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We introduce a new product bilattice construction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize the congruences of its members in terms of those of their lattice factors. Finally, we show how to employ our product construction to define first-order definable classes of bilattices corresponding to any first-order definable subclass of residuated lattices.
Keyword:
Bilattice
Product bilattice
Twist-structure
Residuated lattice
期刊
IF:
2.5
论文数:
1.0W
被引数:
2.1W
机构
引用论文
Assessment of quantitative magnetic resonance imaging metrics in the brain through the use of a novel phantom.png)
Brain Injury
Brain InjuryIF0
PREAI
分享收藏
没有更多内容
没有更多内容