Telefona gönder: The logic of categorial grammars