- Fundamentals of Contemporary Mathematical Sciences
- Vol: 1 Issue: 2
- Two Types of Quotient Structure of Co-Quasiordered Residuated Systems
Two Types of Quotient Structure of Co-Quasiordered Residuated Systems
Authors : Daniel A. Romano
Pages : 49-62
View : 8 | Download : 6
Publication Date : 2020-07-30
Article Type : Research
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