On co-filters in co-quasiordered residuated system

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.