Powersets of terms and composite monads

P. Eklund; M.A. Galan; J. Medina; M. Ojeda-Aciego; A. Valverde

首页> 外文期刊>Fuzzy sets and systems >Powersets of terms and composite monads

【24h】

Powersets of terms and composite monads

机译：词组和复合单子的幂集

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Composing various powerset functors with the term monad gives rise to the concept of generalized terms. This in turn provides a technique for handling many-valued sets of terms in a framework of variable substitutions, thus being the prerequisite for categorical unification in many-valued logic programming using an extended notion of terms. As constructions of monads involve complicated calculations with natural transformations, proofs are supported by a graphical approach that provides a useful tool for handling various conditions, such as those well known for distributive laws.

机译：用术语monad组合各种powerset函子会引起广义术语的概念。反过来，这又提供了一种在变量替换框架中处理多值术语集的技术，因此成为使用扩展术语概念在多值逻辑编程中进行分类统一的前提。由于monad的构建涉及具有自然变换的复杂计算，因此，图形方法为证明提供了支持，该方法提供了一种有用的工具来处理各种条件，例如众所周知的分配律。

著录项

来源
《Fuzzy sets and systems》 |2007年第23期|2552-2574|共23页
作者
P. Eklund; M.A. Galan; J. Medina; M. Ojeda-Aciego; A. Valverde;
展开▼
作者单位

Department of Computing Science, Umea University, SE-901 87 Umea, Sweden;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类模糊数学;
关键词
composite monads; generalized terms; many-valued logic;

机译：复合单子广义术语;多值逻辑;

相似文献

外文文献
中文文献
专利

1. Iterated Covariant Powerset is not a Monad [J] . Bartek Klin, Julian Salamanca Electronic Notes in Theoretical Computer Science . 2018,第1期

机译：迭代协变幂集不是Monad
2. The Rough Powerset Monad [J] . P. Eklund, M. A. Galan Journal of multiple-valued logic and soft computing . 2007,第4a6期

机译：粗糙的Powerset Monad
3. The double power monad is the composite power monad [J] . Stubbe Isar Fuzzy sets and systems . 2017,第APRa15期

机译：双倍功率单子是复合功率单子
4. On Logic with Fuzzy and Rough Powerset Monads [C] . Patrik Eklund, M.A. Galan International Conference on Rough Sets and Intelligent Systems Paradigms(RSEISP 2007); 20070628-30; Warsaw(PL) . 2007

机译：具有模糊和粗糙Powerset Monad的逻辑
5. Short-term and long-term experimental response and finite element modelling of partially encased composite columns (French text). [D] . Chicoine, Thierry. 2001

机译：部分包裹的复合柱的短期和长期实验响应以及有限元建模（法文）。
6. Leaching and VOC Emission Tests of Polymer Composites Produced from Post-Consumer Waste in Terms of Application in the Construction Sector [O] . Mateusz Kozicki, Katarzyna Guzik, Halina Deptuła, 2021

机译：在建筑业的应用中由消费者废物生产的聚合物复合材料的浸出和VOC发射试验
7. Powersets of Terms and Composite Monads [O] . P. Eklund A, A. Valverde B 2008

机译：词组和复合单词的幂集
8. Long-Term Durability and Damage Tolerance of Innovative Marine Composites. Part 1. Accelerated Testing for Long-Term Durability of Innovative CFRP Laminates for Marine Use [R] . Miyano, Y. , Kimpara, I. 2006

机译：创新海洋复合材料的长期耐久性和耐损伤性。第1部分。用于海洋用途的创新CFRp层压板的长期耐久性的加速测试

Powersets of terms and composite monads

摘要

著录项

相似文献

相关主题

期刊订阅