Free logics: Their foundations, character, and some applications thereof