This paper surveys the development of categorial grammars (also called type grammars) with emphasis on type logics (i.e. logical calculi underlying these grammars) and their relation to the origin in Ajdukiewicz (Studia Philosophica 1:1–27, 1935).