Abstract
In this manuscript, the concept of rational-type multivalued F-contraction mappings is investigated. In addition, some nice fixed point results are obtained using this concept in the setting of MM-spaces and ordered MM-spaces. Our findings extend, unify, and generalize a large body of work along the same lines. Moreover, to support and strengthen our results, non-trivial and extensive examples are presented. Ultimately, the theoretical results are involved in obtaining a positive, definite solution to nonlinear matrix equations as an application.