Abstract
Jeroen Groenendijk introduced a logic, which he called the Logic of Interrogation (LoI), that can be used to analyze which linguistic answers are appropriate in response to a given question. Groenendijk gave only a semantic definition of his logic. For practical applications like building question-answering systems, understanding of the proof theory of this logic is needed. This chapter bridges this gap by providing a sound and complete axiomatization for Lol. It presents a connection between entailment in LoI and Beth's definability theorem for first-order logic. The chapter explains how LoI can be seen not only as a logic for reasoning about linguistic questions and answers, but also with natural interpretations in mathematics, database theory, and philosophical logic. Finally, it shows not only a natural linguistic interpretation, but also describes equivalence relations between models, reductions among database queries, and logicality of operations.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
