@article{Stafford:21,
	abstract = {Prawitz (1971) conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister (2019). This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow double negation elimination for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic.},
	author = {Will Stafford},
	date-added = {2021-08-17 00:00:00 +0000},
	date-modified = {2021-08-17 00:00:00 +0000},
	doi = {10.1007/s10992-021-09596-7},
	journal = {Journal of Philosophical Logic},
	keywords = {inquisitive logic},
	title = {Proof-Theoretic Semantics and Inquisitive Logic},
	url = {https://link.springer.com/article/10.1007%2Fs10992-021-09596-7},
	year = {2021},
	Bdsk-Url-1 = {https://link.springer.com/article/10.1007%2Fs10992-021-09596-7},
	Bdsk-Url-2 = {https://doi.org/10.1007/s10992-021-09596-7}}

{"_id":"pfFAQkpRFkk4uE9et","bibbaseid":"stafford-prooftheoreticsemanticsandinquisitivelogic-2021","author_short":["Stafford, W."],"bibdata":{"bibtype":"article","type":"article","abstract":"Prawitz (1971) conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister (2019). This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow double negation elimination for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic.","author":[{"firstnames":["Will"],"propositions":[],"lastnames":["Stafford"],"suffixes":[]}],"date-added":"2021-08-17 00:00:00 +0000","date-modified":"2021-08-17 00:00:00 +0000","doi":"10.1007/s10992-021-09596-7","journal":"Journal of Philosophical Logic","keywords":"inquisitive logic","title":"Proof-Theoretic Semantics and Inquisitive Logic","url":"https://link.springer.com/article/10.1007%2Fs10992-021-09596-7","year":"2021","bdsk-url-1":"https://link.springer.com/article/10.1007%2Fs10992-021-09596-7","bdsk-url-2":"https://doi.org/10.1007/s10992-021-09596-7","bibtex":"@article{Stafford:21,\n\tabstract = {Prawitz (1971) conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister (2019). This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow double negation elimination for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic.},\n\tauthor = {Will Stafford},\n\tdate-added = {2021-08-17 00:00:00 +0000},\n\tdate-modified = {2021-08-17 00:00:00 +0000},\n\tdoi = {10.1007/s10992-021-09596-7},\n\tjournal = {Journal of Philosophical Logic},\n\tkeywords = {inquisitive logic},\n\ttitle = {Proof-Theoretic Semantics and Inquisitive Logic},\n\turl = {https://link.springer.com/article/10.1007%2Fs10992-021-09596-7},\n\tyear = {2021},\n\tBdsk-Url-1 = {https://link.springer.com/article/10.1007%2Fs10992-021-09596-7},\n\tBdsk-Url-2 = {https://doi.org/10.1007/s10992-021-09596-7}}\n\n","author_short":["Stafford, W."],"key":"Stafford:21","id":"Stafford:21","bibbaseid":"stafford-prooftheoreticsemanticsandinquisitivelogic-2021","role":"author","urls":{"Paper":"https://link.springer.com/article/10.1007%2Fs10992-021-09596-7"},"keyword":["inquisitive logic"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"article","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["x2Aox4ZP7RsyuDjWX","LaLDs2mrYhQpgH6Lk"],"keywords":["inquisitive logic"],"search_terms":["proof","theoretic","semantics","inquisitive","logic","stafford"],"title":"Proof-Theoretic Semantics and Inquisitive Logic","year":2021,"downloads":1}