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… Click to show full 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.
Keywords:
mathematics;
systems introduction;
residuated systems;
quasiordered residuated
Journal Title: Asian-European Journal of Mathematics
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Asian-European Journal of Mathematics
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!