Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic. Grilletti, G. Journal of Logic, Language and Information, 30:725-751, 2019. ![Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper abstract bibtex Inquisitive first order logic (InqBQ) is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers. It is not known if InqBQ is effectively axiomatizable, even though an axiomatization has been found for fragments of the logic. In this paper we define the ClAnt—classical antecedent—fragment, together with an axiomatization and a proof of its strong completeness. This result extends the ones presented in the literature and introduces a new approach to study the axiomatization problem for fragments of the logic.
@article{Grilletti:19completeness,
abstract = {Inquisitive first order logic (InqBQ) is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers. It is not known if InqBQ is effectively axiomatizable, even though an axiomatization has been found for fragments of the logic. In this paper we define the ClAnt---classical antecedent---fragment, together with an axiomatization and a proof of its strong completeness. This result extends the ones presented in the literature and introduces a new approach to study the axiomatization problem for fragments of the logic.},
author = {Grilletti, Gianluca},
date-added = {2021-08-17 00:00:00 +0000},
date-modified = {2021-08-17 00:00:00 +0000},
keywords = {inquisitive logic},
journal = {Journal of Logic, Language and Information},
volume={30},
pages={725-751},
title = {Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic},
url = {https://link.springer.com/article/10.1007/s10849-021-09341-y},
year = {2019},
Bdsk-Url-1 = {https://link.springer.com/article/10.1007/s10849-021-09341-y}
}
Downloads: 0
{"_id":"MHpYaqE8bNgrhJ3do","bibbaseid":"grilletti-completenessfortheclassicalantecedentfragmentofinquisitivefirstorderlogic-2019","author_short":["Grilletti, G."],"bibdata":{"bibtype":"article","type":"article","abstract":"Inquisitive first order logic (InqBQ) is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers. It is not known if InqBQ is effectively axiomatizable, even though an axiomatization has been found for fragments of the logic. In this paper we define the ClAnt—classical antecedent—fragment, together with an axiomatization and a proof of its strong completeness. This result extends the ones presented in the literature and introduces a new approach to study the axiomatization problem for fragments of the logic.","author":[{"propositions":[],"lastnames":["Grilletti"],"firstnames":["Gianluca"],"suffixes":[]}],"date-added":"2021-08-17 00:00:00 +0000","date-modified":"2021-08-17 00:00:00 +0000","keywords":"inquisitive logic","journal":"Journal of Logic, Language and Information","volume":"30","pages":"725-751","title":"Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic","url":"https://link.springer.com/article/10.1007/s10849-021-09341-y","year":"2019","bdsk-url-1":"https://link.springer.com/article/10.1007/s10849-021-09341-y","bibtex":"@article{Grilletti:19completeness,\n\tabstract = {Inquisitive first order logic (InqBQ) is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers. It is not known if InqBQ is effectively axiomatizable, even though an axiomatization has been found for fragments of the logic. In this paper we define the ClAnt---classical antecedent---fragment, together with an axiomatization and a proof of its strong completeness. This result extends the ones presented in the literature and introduces a new approach to study the axiomatization problem for fragments of the logic.},\n\tauthor = {Grilletti, Gianluca},\n\tdate-added = {2021-08-17 00:00:00 +0000},\n\tdate-modified = {2021-08-17 00:00:00 +0000},\n\tkeywords = {inquisitive logic},\n\tjournal = {Journal of Logic, Language and Information},\n\tvolume={30},\n\tpages={725-751},\n\ttitle = {Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic},\n\turl = {https://link.springer.com/article/10.1007/s10849-021-09341-y},\n\tyear = {2019},\n\tBdsk-Url-1 = {https://link.springer.com/article/10.1007/s10849-021-09341-y}\n\t}\n\n","author_short":["Grilletti, G."],"key":"Grilletti:19completeness","id":"Grilletti:19completeness","bibbaseid":"grilletti-completenessfortheclassicalantecedentfragmentofinquisitivefirstorderlogic-2019","role":"author","urls":{"Paper":"https://link.springer.com/article/10.1007/s10849-021-09341-y"},"keyword":["inquisitive logic"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["x2Aox4ZP7RsyuDjWX","LaLDs2mrYhQpgH6Lk"],"keywords":["inquisitive logic"],"search_terms":["completeness","classical","antecedent","fragment","inquisitive","first","order","logic","grilletti"],"title":"Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic","year":2019}