Affiliation:
1. International Mathematical Virtual Institute, Kordunaška Street, No. 6, 78000 Banja Luka, Bosnia and Herzegovina
Abstract
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 Intuitionisic 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 we have been shown.
Publisher
World Scientific Pub Co Pte Lt