Categorial grammars and their logics
pp. 91-115
in: Angel Garrido, Urszula Wybraniec-Skardowska (eds), The Lvov-Warsaw school, Berlin, Springer, 2018Abstract
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).