A Relevant Logic of Questions. Pun ̌cochá ̌r, V. Journal of Philosophical Logic, Springer, 2020.
A Relevant Logic of Questions [link]Paper  doi  abstract   bibtex   1 download  
This paper introduces the inquisitive extension of R, denoted as InqR, which is a relevant logic of questions based on the logic R as the background logic of declaratives. A semantics for InqR is developed, and it is shown that this semantics is, in a precisely defined sense, dual to Routley-Meyer semantics for R. Moreover, InqR is axiomatized and completeness of the axiomatic system is established. The philosophical interpretation of the duality between Routley-Meyer semantics and the semantics for InqR is also discussed.
@article{Puncochar:20,
	abstract = {This paper introduces the inquisitive extension of R, denoted as InqR, which is a relevant logic of questions based on the logic R as the background logic of declaratives. A semantics for InqR is developed, and it is shown that this semantics is, in a precisely defined sense, dual to Routley-Meyer semantics for R. Moreover, InqR is axiomatized and completeness of the axiomatic system is established. The philosophical interpretation of the duality between Routley-Meyer semantics and the semantics for InqR is also discussed.},
	author = {Pun{\v c}och{\'a}{\v r}, V{\'\i}t},
	date-added = {2021-08-17 00:00:00 +0000},
	date-modified = {2021-08-17 00:00:00 +0000},
	doi = {10.1007/s10992-019-09541-9},
	journal = {Journal of Philosophical Logic},
	keywords = {inquisitive logic},
	pages = {1--35},
	publisher = {Springer},
	title = {A Relevant Logic of Questions},
	url = {https://link.springer.com/article/10.1007/s10992-019-09541-9},
	year = {2020},
	Bdsk-Url-1 = {https://link.springer.com/article/10.1007/s10992-019-09541-9},
	Bdsk-Url-2 = {https://doi.org/10.1007/s10992-019-09541-9}}

Downloads: 1