A global view of diverse construction methods of fuzzy implication functions rooted on F-chains