论文标题
从晶格上衍生出的Quasi Overlap函数的残留含义
Residuated implications derived from quasi-overlap functions on lattices
论文作者
论文摘要
在本文中，我们介绍了从晶格上的准拼写函数得出的残留含义的概念，并证明了一些相关的属性。此外，我们为晶格及其各自的诱导含义的Quasi Overlap函数案例的剩余原则形式化，并揭示了满足剩余原理的准跨拼写函数类别是根据Scott拓扑的连续函数的同一类。同样，Scott的连续性和密集有序的POSET的概念也用于概括为残留的准拼写函数的分类定理。最后，自动形态的概念扩展到了晶格上的准拼写功能的上下文，将这些晶格视为拓扑空间，以期获得由自动形态的作用结合的准拼写功能。
In this paper, we introduce the concept of residuated implications derived from quasi-overlap functions on lattices and prove some related properties. In addition, we formalized the residuation principle for the case of quasi-overlap functions on lattices and their respective induced implications, as well as revealing that the class of quasi-overlap functions that fulfill the residuation principle is the same class of continuous functions according to topology of Scott. Also, Scott's continuity and the notion of densely ordered posets are used to generalize a classification theorem for residuated quasi-overlap functions. Finally, the concept of automorphisms are extended to the context of quasi-overlap functions over lattices, taking these lattices into account as topological spaces, with a view to obtaining quasi-overlap functions conjugated by the action of automorphisms.
