The concepts of question evocation and erotetic implication play central role in Inferential Erotetic Logic. In this paper, deduction theorems for question evocation and erotetic implication are proven. Moreover, it is shown how question evocation by a finite non-empty set of declaratives can be reduced to question evocation by the empty set, and how erotetic implication based on a finite non-empty set of declaratives can be reduced to a relation between questions only.

This paper revisits two fundamental issues in question semantics—what does a question mean, and how is this meaning compositionally derived? Drawing on observations with the distribution of wh-words in questions and free relatives as well as quantificational variability effects in question-embeddings, I argue that the nominal meanings of short answers must be derivable from question denotations, which therefore calls for a categorial approach to defining questions, including embedded questions. I provide a novel hybrid categorial approach to compose questions. This approach (...) overcomes the problems with traditional categorial approaches in defining bare wh-indefinites, composing multi-wh questions, and accounting for coordinations of questions. (shrink)