.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
We introduce so-called consistent posets which are bounded posets with an antitone involution ' where the lower cones of x, x ' and of y, y ' coincide provided that x, y are different from 0, 1 and, moreover, if x, y are different from 0, then their lower cone is different from 0, too. We show that these posets can be represented by means of commutative meet-directoids with an antitone involution satisfying certain identities and implications. In the case of a finite distributive or strongly modular consistent poset, this poset can be converted into a residuated structure and hence it can serve as an algebraic semantics of a certain non-classical logic with unsharp conjunction and implication. Finally we show that the Dedekind-MacNeille completion of a consistent poset is a consistent lattice, i.e., a bounded lattice with an antitone involution satisfying the above-mentioned properties.
Keyword:
Consistent poset
Antitone involution
Distributive poset
Strongly modular poset
Commutative meet-directoid
Residuation
Adjointness
Dedekind-MacNeille completion
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
2.5
论文数:
1.0W
被引数:
2.1W
机构
引用论文
Isotherme Verdunstung eines ternären Gemisches mit Mischungslücke am Beispiel des Systems n‐Butanol/Wasser/Isopropanol三元混合物等温蒸发（以n-Butanol/Wasser/Isopropanol体系为例，其中存在混合间隙）.png)
PREAI
.png){kind=icon}
分享.png){kind=icon}
收藏Research on Tire/Road Peak Friction Coefficient Estimation Considering Effective Contact Characteristics between Tire and Three-Dimensional Road Surface.png)
Machines
OAAI
MachinesIF0
OAAI分享收藏分享收藏Vergleich von traditionellen und neuartigen Adsorberpolymeren bei der Adsorption von 1,2‐Dichlorethan aus Wasser传统与新型吸附聚合物在水体中吸附1,2‐Dichlorethan的比较
PREAI
分享收藏Early Detection of Health Condition Degradation of Circuit Breaker Based on Electrical Quantity MonitoringEnergiesOAAI
EnergiesIF0
OAAI分享收藏 没有更多内容
没有更多内容