Labelled Sequent Calculus for Inquisitive Logic. Chen, J. & Ma, M. In Baltag, A., Seligman, J., & Yamada, T., editors, Logic, Rationality, and Interaction, pages 526–540, Berlin, Heidelberg, 2017. Springer Berlin Heidelberg. abstract bibtex A contraction-free and cut-free labelled sequent calculus GInqL for inquisitive logic is established. Labels are defined by a settheoretic syntax. The completeness of GInqL is shown by the equivalence between the Hilbert-style axiomatic system and sequent system.
@InProceedings{ChenMa:17,
author="Chen, Jinsheng
and Ma, Minghui",
editor="Baltag, Alexandru
and Seligman, Jeremy
and Yamada, Tomoyuki",
title="Labelled Sequent Calculus for Inquisitive Logic",
booktitle="Logic, Rationality, and Interaction",
year="2017",
keywords = {inquisitive logic},
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="526--540",
abstract={A contraction-free and cut-free labelled sequent calculus
GInqL for inquisitive logic is established. Labels are defined by a settheoretic syntax. The completeness of GInqL is shown by the equivalence
between the Hilbert-style axiomatic system and sequent system.}
}
Downloads: 0
{"_id":"z6g3RJxGmzzqf5JZc","bibbaseid":"chen-ma-labelledsequentcalculusforinquisitivelogic-2017","author_short":["Chen, J.","Ma, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Chen"],"firstnames":["Jinsheng"],"suffixes":[]},{"propositions":[],"lastnames":["Ma"],"firstnames":["Minghui"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Baltag"],"firstnames":["Alexandru"],"suffixes":[]},{"propositions":[],"lastnames":["Seligman"],"firstnames":["Jeremy"],"suffixes":[]},{"propositions":[],"lastnames":["Yamada"],"firstnames":["Tomoyuki"],"suffixes":[]}],"title":"Labelled Sequent Calculus for Inquisitive Logic","booktitle":"Logic, Rationality, and Interaction","year":"2017","keywords":"inquisitive logic","publisher":"Springer Berlin Heidelberg","address":"Berlin, Heidelberg","pages":"526–540","abstract":"A contraction-free and cut-free labelled sequent calculus GInqL for inquisitive logic is established. Labels are defined by a settheoretic syntax. The completeness of GInqL is shown by the equivalence between the Hilbert-style axiomatic system and sequent system.","bibtex":"@InProceedings{ChenMa:17,\nauthor=\"Chen, Jinsheng\nand Ma, Minghui\",\neditor=\"Baltag, Alexandru\nand Seligman, Jeremy\nand Yamada, Tomoyuki\",\ntitle=\"Labelled Sequent Calculus for Inquisitive Logic\",\nbooktitle=\"Logic, Rationality, and Interaction\",\nyear=\"2017\",\nkeywords = {inquisitive logic},\npublisher=\"Springer Berlin Heidelberg\",\naddress=\"Berlin, Heidelberg\",\npages=\"526--540\",\nabstract={A contraction-free and cut-free labelled sequent calculus\nGInqL for inquisitive logic is established. Labels are defined by a settheoretic syntax. The completeness of GInqL is shown by the equivalence\nbetween the Hilbert-style axiomatic system and sequent system.}\n}\n\n\n","author_short":["Chen, J.","Ma, M."],"editor_short":["Baltag, A.","Seligman, J.","Yamada, T."],"key":"ChenMa:17","id":"ChenMa:17","bibbaseid":"chen-ma-labelledsequentcalculusforinquisitivelogic-2017","role":"author","urls":{},"keyword":["inquisitive logic"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["LaLDs2mrYhQpgH6Lk"],"keywords":["inquisitive logic"],"search_terms":["labelled","sequent","calculus","inquisitive","logic","chen","ma"],"title":"Labelled Sequent Calculus for Inquisitive Logic","year":2017}