Some algebraic fixed point theorems for multi-valued mappings with applications