Co-quasiordered residuated systems: An introduction
Sign Up to like & getrecommendations! Published in 2019 at "Asian-European Journal of Mathematics"
DOI: 10.1142/s1793557119500736
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… read more here.
Keywords: mathematics; systems introduction; residuated systems; quasiordered residuated ... See more keywords