Axiomatizing Groenendijk's Logic of Interrogation. ten Cate, B. & Shan, C. In Aloni, M., Butler, A., & Dekker, P., editors, Questions in Dynamic Semantics, pages 63–82. Elsevier, 2007. ![Axiomatizing Groenendijk's Logic of Interrogation [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi abstract bibtex 1 download 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.
@incollection{CateShan:07,
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.},
author = {ten Cate, Balder and Chung-Chieh Shan},
booktitle = {Questions in Dynamic Semantics},
date-added = {2021-08-17 00:00:00 +0000},
date-modified = {2021-08-17 00:00:00 +0000},
doi = {10.1163/9780080470993_004},
editor = {Maria Aloni and Alistair Butler and Paul Dekker},
keywords = {background},
pages = {63--82},
publisher = {Elsevier},
title = {Axiomatizing {G}roenendijk's Logic of Interrogation},
url = {https://brill.com/view/book/edcoll/9780080470993/B9780080470993-s004.xml},
year = {2007},
Bdsk-Url-1 = {https://brill.com/view/book/edcoll/9780080470993/B9780080470993-s004.xml},
Bdsk-Url-2 = {https://doi.org/10.1163/9780080470993_004}}
Downloads: 1
{"_id":"vJYo7xZrLcJRN9H3r","bibbaseid":"tencate-shan-axiomatizinggroenendijkslogicofinterrogation-2007","author_short":["ten Cate, B.","Shan, C."],"bibdata":{"bibtype":"incollection","type":"incollection","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.","author":[{"propositions":["ten"],"lastnames":["Cate"],"firstnames":["Balder"],"suffixes":[]},{"firstnames":["Chung-Chieh"],"propositions":[],"lastnames":["Shan"],"suffixes":[]}],"booktitle":"Questions in Dynamic Semantics","date-added":"2021-08-17 00:00:00 +0000","date-modified":"2021-08-17 00:00:00 +0000","doi":"10.1163/9780080470993_004","editor":[{"firstnames":["Maria"],"propositions":[],"lastnames":["Aloni"],"suffixes":[]},{"firstnames":["Alistair"],"propositions":[],"lastnames":["Butler"],"suffixes":[]},{"firstnames":["Paul"],"propositions":[],"lastnames":["Dekker"],"suffixes":[]}],"keywords":"background","pages":"63–82","publisher":"Elsevier","title":"Axiomatizing Groenendijk's Logic of Interrogation","url":"https://brill.com/view/book/edcoll/9780080470993/B9780080470993-s004.xml","year":"2007","bdsk-url-1":"https://brill.com/view/book/edcoll/9780080470993/B9780080470993-s004.xml","bdsk-url-2":"https://doi.org/10.1163/9780080470993_004","bibtex":"@incollection{CateShan:07,\n\tabstract = {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.},\n\tauthor = {ten Cate, Balder and Chung-Chieh Shan},\n\tbooktitle = {Questions in Dynamic Semantics},\n\tdate-added = {2021-08-17 00:00:00 +0000},\n\tdate-modified = {2021-08-17 00:00:00 +0000},\n\tdoi = {10.1163/9780080470993_004},\n\teditor = {Maria Aloni and Alistair Butler and Paul Dekker},\n\tkeywords = {background},\n\tpages = {63--82},\n\tpublisher = {Elsevier},\n\ttitle = {Axiomatizing {G}roenendijk's Logic of Interrogation},\n\turl = {https://brill.com/view/book/edcoll/9780080470993/B9780080470993-s004.xml},\n\tyear = {2007},\n\tBdsk-Url-1 = {https://brill.com/view/book/edcoll/9780080470993/B9780080470993-s004.xml},\n\tBdsk-Url-2 = {https://doi.org/10.1163/9780080470993_004}}\n\n","author_short":["ten Cate, B.","Shan, C."],"editor_short":["Aloni, M.","Butler, A.","Dekker, P."],"key":"CateShan:07","id":"CateShan:07","bibbaseid":"tencate-shan-axiomatizinggroenendijkslogicofinterrogation-2007","role":"author","urls":{"Paper":"https://brill.com/view/book/edcoll/9780080470993/B9780080470993-s004.xml"},"keyword":["background"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"incollection","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["x2Aox4ZP7RsyuDjWX","LaLDs2mrYhQpgH6Lk"],"keywords":["background"],"search_terms":["axiomatizing","groenendijk","logic","interrogation","ten cate","shan"],"title":"Axiomatizing Groenendijk's Logic of Interrogation","year":2007,"downloads":1}