On co-filters in co-quasiordered residuated system
Authors : Daniel A. Romano
Pages : 27-33
View : 8 | Download : 6
Publication Date : 2019-10-16
Article Type : Research
Abstract :Residuated relational systems have been the focus of many researchers in the past decade. In this article, as a continuation of \cite{Rom19a}, we focused on residuated relational systems $\langle A,\cdot,\rightarrow,1,\nprec \rangle$ ordered under co-quasiorder relation $'\nprec\,'$ within the Bishop's constructivist framework. In this report we we give some new results on co-filters in such relational systems by more depth and deeper analyzing of the connection between the internal operation $'\cdot\,'$ and $'\rightarrow\,'$ with the co-quasiorder relation.Keywords : Bishop's constructive mathematics, set with apartness, co-quasiordered residuated system, co-filter