Two Types of Quotient Structure of Co-Quasiordered Residuated Systems

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.