.png){kind=icon}
返回
Monadic bounded hoops
.png){kind=icon}
PRE
AI
DOI：10.1007/s00500-017-2648-x.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The main goal of this paper is to investigate monadic bounded hoops and prove the completeness of the monadic hoop logic. In the paper, we introduce monadic bounded hoops: A variety of bounded hoops equipped with universal and existential quantifiers. Also, we study some properties of them and obtain some conditions under which a bounded hoop becomes a Heyting algebra and BL-algebra. In addition, we introduce and investigate monadic filters in monadic bounded hoops. Using monadic filters on monadic bounded hoops, we characterize simple monadic bounded hoops. Moreover, we focus on algebraic structures of the set of all monadic filters on monadic bounded hoops and obtain that forms a complete Heyting algebra. Further, we discuss relations between monadic bounded hoops and some related algebraic structures, likeness other monadic algebras, bounded hoops with regular Galois connection and rough approximation spaces. Finally, as an application of monadic bounded hoops, we prove the completeness of monadic hoop logic. These results will provide a more general algebraic foundations of soft computing intended as a method for dealing with uncertain information, fuzzy information and decision making.
Keyword:
Logical algebra
Hoop
Quantifier
Monadic filter
Monadic hoop logic
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
2.5
论文数:
1.0W
被引数:
2.1W
机构
引用论文
.png){kind=icon}
Letter to the Editor Accurate description of phages and their genomes - Genet. Mol. Res. 14 (1): 190-198 “Bioinformatic analysis of phage AB3, a phiKMV-like virus infecting Acinetobacter baumannii”致编辑函：噬菌体及其基因组的准确描述 - 《遗传学与分子研究》14 (1)：190-198 “噬菌体AB3的生物信息学分析，一种感染鲍曼不动杆菌的phiKMV样病毒”
PREAI
分享收藏
查看更多内容