On co-filters in co-quasiordered residuated system

Authors : Daniel A. ROMANO

Pages : 27-33

View : 11 | Download : 10

Publication Date : 2019-10-16

Article Type : Research Paper

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