×

Co-quasiordered residuated systems: an introduction. (English) Zbl 1491.03080

Summary: In this paper, we introduce and discuss a concept of co-quasiordered residuated relational systems. The setting of this research is Bishop’s constructive mathematics – a mathematics based on the intuitionistic logic and particular principle-philosophical orientation of this attitude. Moreover, we introduce the concept of co-filters in such relational system. Additionally, some of the fundamentals properties of these substructures are shown.

MSC:

03F65 Other constructive mathematics
08A02 Relational systems, laws of composition
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bishop, E., Foundations of Constructive Analysis (McGraw-Hill, New York, 1967). · Zbl 0183.01503
[2] Bishop, E. and Bridges, D. S., Constructive Analysis, , Vol. 279 (Springer, Berlin, 1985). · Zbl 0656.03042
[3] Bonzio, S. and Chajda, I., Residuated relational systems, Asian-Eur. J. Math.11(2) (2018) 1850024. · Zbl 1403.08001
[4] Bridges, D. S. and Richman, F., Varieties of Constructive Mathematics, , Vol. 97 (Cambridge University Press, Cambridge, 1987). · Zbl 0618.03032
[5] Bridges, D. S. and Vita, L. S., Techniques of Constructive Analysis (Springer, New York, 2006). · Zbl 1107.03065
[6] Crvenković, S., Mitrović, M. and Romano, D. A., Semigroups with apartness, Math. Logic Quart.59(6) (2013) 407-414. · Zbl 1349.03087
[7] Crvenković, S., Mitrović, M. and Romano, D. A., Basic notions of (Constructive) semigroups with apartness, Semigroup Forum92(3) (2016) 659-674. · Zbl 1402.03096
[8] Mines, R., Richman, F. and Ruitenburg, W., A Course of Constructive Algebra (Springer, New York, 1988). · Zbl 0725.03044
[9] Romano, D. A., Equality and coequality relations on the Cartesian product of sets, Math. Logic Quart.34(5) (1988) 471-480. · Zbl 0662.03053
[10] Romano, D. A., A note on a family of quasi-antiorder on semigroup, Kragujevac J. Math.27 (2005) 11-18. · Zbl 1224.03037
[11] Romano, D. A., A note on quasi-antiorder in semigroup, Novi Sad J. Math.37(1) (2007) 3-8. · Zbl 1164.03018
[12] Romano, D. A., On quasi-antiorder relation on semigroups, Mat. Vesnik64(3) (2012) 190-199. · Zbl 1289.03044
[13] Romano, D. A., Co-ideals and co-filters in ordered set under co-quasiorder, Bull. Int. Math. Virtual Inst.8(1) (2018) 177-188. · Zbl 1438.06002
[14] Troelstra, A. S. and van Dalen, D., Constructivism in Mathematics: An Introduction (North-Holland, Amsterdam, 1988). · Zbl 0661.03047
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.