Two Types of Quotient Structure of Co-Quasiordered Residuated Systems
Daniel A. Romano · DergiPark (Istanbul University) · 2020
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.