@inproceedings{Sano:11,
	abstract = {We introduce two different calculi for a first-order extension of inquisitive pair semantics (Groenendijk 2008): Hilbert-style calculus and Tree-sequent calculus. These are first-order generalizations of (Mascarenhas 2009) and (Sano 2009), respectively. First, we show the strong completeness of our Hilbert-style calculus via canonical models. Second, we establish the completeness and soundness of our Tree-sequent calculus. As a corollary of the results, we semantically establish that our Tree-sequent calculus enjoys a cut-elimination theorem.},
	author = {Katsuhiko Sano},
	booktitle = {Proceedings of the Fourth Indian Conference on Logic and its Applications},
	date-added = {2021-08-17 00:00:00 +0000},
	date-modified = {2021-08-17 00:00:00 +0000},
	doi = {10.1007/978-3-642-18026-2_13},
	keywords = {inquisitive logic},
	title = {First-order inquisitive pair logic},
	url = {https://link.springer.com/chapter/10.1007%2F978-3-642-18026-2_13},
	year = {2011},
	Bdsk-Url-1 = {https://link.springer.com/chapter/10.1007%2F978-3-642-18026-2_13},
	Bdsk-Url-2 = {https://doi.org/10.1007/978-3-642-18026-2_13}}

{"_id":"uGeRPNG8ADePHe686","bibbaseid":"sano-firstorderinquisitivepairlogic-2011","author_short":["Sano, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","abstract":"We introduce two different calculi for a first-order extension of inquisitive pair semantics (Groenendijk 2008): Hilbert-style calculus and Tree-sequent calculus. These are first-order generalizations of (Mascarenhas 2009) and (Sano 2009), respectively. First, we show the strong completeness of our Hilbert-style calculus via canonical models. Second, we establish the completeness and soundness of our Tree-sequent calculus. As a corollary of the results, we semantically establish that our Tree-sequent calculus enjoys a cut-elimination theorem.","author":[{"firstnames":["Katsuhiko"],"propositions":[],"lastnames":["Sano"],"suffixes":[]}],"booktitle":"Proceedings of the Fourth Indian Conference on Logic and its Applications","date-added":"2021-08-17 00:00:00 +0000","date-modified":"2021-08-17 00:00:00 +0000","doi":"10.1007/978-3-642-18026-2_13","keywords":"inquisitive logic","title":"First-order inquisitive pair logic","url":"https://link.springer.com/chapter/10.1007%2F978-3-642-18026-2_13","year":"2011","bdsk-url-1":"https://link.springer.com/chapter/10.1007%2F978-3-642-18026-2_13","bdsk-url-2":"https://doi.org/10.1007/978-3-642-18026-2_13","bibtex":"@inproceedings{Sano:11,\n\tabstract = {We introduce two different calculi for a first-order extension of inquisitive pair semantics (Groenendijk 2008): Hilbert-style calculus and Tree-sequent calculus. These are first-order generalizations of (Mascarenhas 2009) and (Sano 2009), respectively. First, we show the strong completeness of our Hilbert-style calculus via canonical models. Second, we establish the completeness and soundness of our Tree-sequent calculus. As a corollary of the results, we semantically establish that our Tree-sequent calculus enjoys a cut-elimination theorem.},\n\tauthor = {Katsuhiko Sano},\n\tbooktitle = {Proceedings of the Fourth Indian Conference on Logic and its Applications},\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-642-18026-2_13},\n\tkeywords = {inquisitive logic},\n\ttitle = {First-order inquisitive pair logic},\n\turl = {https://link.springer.com/chapter/10.1007%2F978-3-642-18026-2_13},\n\tyear = {2011},\n\tBdsk-Url-1 = {https://link.springer.com/chapter/10.1007%2F978-3-642-18026-2_13},\n\tBdsk-Url-2 = {https://doi.org/10.1007/978-3-642-18026-2_13}}\n\n","author_short":["Sano, K."],"key":"Sano:11","id":"Sano:11","bibbaseid":"sano-firstorderinquisitivepairlogic-2011","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007%2F978-3-642-18026-2_13"},"keyword":["inquisitive logic"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["x2Aox4ZP7RsyuDjWX","LaLDs2mrYhQpgH6Lk","nTukRxsNNmbKgjGgn"],"keywords":["inquisitive logic"],"search_terms":["first","order","inquisitive","pair","logic","sano"],"title":"First-order inquisitive pair logic","year":2011}