Interrogative dependencies and the constructive content of inquisitive proofs. Ciardelli, I. In Kohlenbach, U., Barceló, P., & de Queiroz, R., editors, Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014, of Lecture Notes in Computer Science, pages 109-123, 2014. Springer. ![Interrogative dependencies and the constructive content of inquisitive proofs [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi abstract bibtex This paper shows how dichotomous inquisitive semantics gives rise to a general notion of entailment that unifies standard declarative entailment with answerhood and interrogative dependency, the relation holding when an answer to a question determines an answer to another. We investigate the associated logic, presenting a new completeness proof based on an explicit canonical model construction. On the way to this proof, we establish a new result, the resolution theorem, which shows that inquisitive proofs have a natural computational interpretation. We conclude arguing that, as a logic of dependencies, inquisitive logic has certain theoretical and practical advantages over related systems.
@inproceedings{Ciardelli:14wollic,
abstract = {This paper shows how dichotomous inquisitive semantics gives rise to a general notion of entailment that unifies standard declarative entailment with answerhood and interrogative dependency, the relation holding when an answer to a question determines an answer to another. We investigate the associated logic, presenting a new completeness proof based on an explicit canonical model construction. On the way to this proof, we establish a new result, the resolution theorem, which shows that inquisitive proofs have a natural computational interpretation. We conclude arguing that, as a logic of dependencies, inquisitive logic has certain theoretical and practical advantages over related systems.},
author = {Ivano Ciardelli},
booktitle = {Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014},
date-added = {2021-08-17 00:00:00 +0000},
date-modified = {2021-08-17 00:00:00 +0000},
doi = {10.1007/978-3-662-44145-9_8},
editor = {Ulrich Kohlenbach and Pablo Barcel{\'o} and Ruy de Queiroz},
keywords = {inquisitive logic},
pages = {109-123},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Interrogative dependencies and the constructive content of inquisitive proofs},
url = {https://link.springer.com/chapter/10.1007/978-3-662-44145-9_8},
year = {2014},
Bdsk-Url-1 = {https://link.springer.com/chapter/10.1007/978-3-662-44145-9_8},
Bdsk-Url-2 = {https://doi.org/10.1007/978-3-662-44145-9_8}}
Downloads: 0
{"_id":"GqBeKri4cX5KHTb6q","bibbaseid":"ciardelli-interrogativedependenciesandtheconstructivecontentofinquisitiveproofs-2014","author_short":["Ciardelli, I."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","abstract":"This paper shows how dichotomous inquisitive semantics gives rise to a general notion of entailment that unifies standard declarative entailment with answerhood and interrogative dependency, the relation holding when an answer to a question determines an answer to another. We investigate the associated logic, presenting a new completeness proof based on an explicit canonical model construction. On the way to this proof, we establish a new result, the resolution theorem, which shows that inquisitive proofs have a natural computational interpretation. We conclude arguing that, as a logic of dependencies, inquisitive logic has certain theoretical and practical advantages over related systems.","author":[{"firstnames":["Ivano"],"propositions":[],"lastnames":["Ciardelli"],"suffixes":[]}],"booktitle":"Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014","date-added":"2021-08-17 00:00:00 +0000","date-modified":"2021-08-17 00:00:00 +0000","doi":"10.1007/978-3-662-44145-9_8","editor":[{"firstnames":["Ulrich"],"propositions":[],"lastnames":["Kohlenbach"],"suffixes":[]},{"firstnames":["Pablo"],"propositions":[],"lastnames":["Barceló"],"suffixes":[]},{"firstnames":["Ruy"],"propositions":["de"],"lastnames":["Queiroz"],"suffixes":[]}],"keywords":"inquisitive logic","pages":"109-123","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Interrogative dependencies and the constructive content of inquisitive proofs","url":"https://link.springer.com/chapter/10.1007/978-3-662-44145-9_8","year":"2014","bdsk-url-1":"https://link.springer.com/chapter/10.1007/978-3-662-44145-9_8","bdsk-url-2":"https://doi.org/10.1007/978-3-662-44145-9_8","bibtex":"@inproceedings{Ciardelli:14wollic,\n\tabstract = {This paper shows how dichotomous inquisitive semantics gives rise to a general notion of entailment that unifies standard declarative entailment with answerhood and interrogative dependency, the relation holding when an answer to a question determines an answer to another. We investigate the associated logic, presenting a new completeness proof based on an explicit canonical model construction. On the way to this proof, we establish a new result, the resolution theorem, which shows that inquisitive proofs have a natural computational interpretation. We conclude arguing that, as a logic of dependencies, inquisitive logic has certain theoretical and practical advantages over related systems.},\n\tauthor = {Ivano Ciardelli},\n\tbooktitle = {Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014},\n\tdate-added = {2021-08-17 00:00:00 +0000},\n\tdate-modified = {2021-08-17 00:00:00 +0000},\n\tdoi = {10.1007/978-3-662-44145-9_8},\n\teditor = {Ulrich Kohlenbach and Pablo Barcel{\\'o} and Ruy de Queiroz},\n\tkeywords = {inquisitive logic},\n\tpages = {109-123},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttitle = {Interrogative dependencies and the constructive content of inquisitive proofs},\n\turl = {https://link.springer.com/chapter/10.1007/978-3-662-44145-9_8},\n\tyear = {2014},\n\tBdsk-Url-1 = {https://link.springer.com/chapter/10.1007/978-3-662-44145-9_8},\n\tBdsk-Url-2 = {https://doi.org/10.1007/978-3-662-44145-9_8}}\n\n","author_short":["Ciardelli, I."],"editor_short":["Kohlenbach, U.","Barceló, P.","de Queiroz, R."],"key":"Ciardelli:14wollic","id":"Ciardelli:14wollic","bibbaseid":"ciardelli-interrogativedependenciesandtheconstructivecontentofinquisitiveproofs-2014","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-662-44145-9_8"},"keyword":["inquisitive logic"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["x2Aox4ZP7RsyuDjWX","LaLDs2mrYhQpgH6Lk"],"keywords":["inquisitive logic"],"search_terms":["interrogative","dependencies","constructive","content","inquisitive","proofs","ciardelli"],"title":"Interrogative dependencies and the constructive content of inquisitive proofs","year":2014}