-
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
-
--
Birincil Dil | İngilizce |
---|---|
Konular | Matematik |
Bölüm | Research Articles |
Yazarlar | |
Proje Numarası | - |
Yayımlanma Tarihi | 30 Temmuz 2020 |
Yayımlandığı Sayı | Yıl 2020 Cilt: 1 Sayı: 2 |
FCMS is licensed under the Creative Commons Attribution 4.0 International Public License.