Two Types of Quotient Structure of Co-Quasiordered Residuated Systems

Authors : Daniel A. ROMANO

Pages : 49-62

View : 11 | Download : 10

Publication Date : 2020-07-30

Article Type : Research Paper

Abstract :In our article we introduced and analysed the concept of residuated relational systems ordered under co-quasiorder. In this article, as a continuation of the mentioned paper, we introduce two types of quotient structures of residuated relational systems are constructed, one of which is a specificity of Bishop`s constructive framework and has no counterpart in the classical theory. The paper finished by a theorem which can be viewed as the first isomorphism theorem for these algebraic structures.
Keywords : Bishop`s constructive mathematics, se homomorphism, co quasiordered residuated system, set with apartness