-
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.
Bishop's constructive mathematics se-homomorphism co-quasiordered residuated system set with apartness
NO
-
--
Primary Language | English |
---|---|
Subjects | Mathematical Sciences |
Journal Section | Research Articles |
Authors | |
Project Number | - |
Publication Date | July 30, 2020 |
Published in Issue | Year 2020 Volume: 1 Issue: 2 |
FCMS is licensed under the Creative Commons Attribution 4.0 International Public License.