A Formal Bi-Logic Framework for the Mental Processes