A Generalization of Inquisitive Semantics
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F16%3A00460804" target="_blank" >RIV/67985955:_____/16:00460804 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/s10992-015-9379-1" target="_blank" >http://dx.doi.org/10.1007/s10992-015-9379-1</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s10992-015-9379-1" target="_blank" >10.1007/s10992-015-9379-1</a>
Alternative languages
Result language
angličtina
Original language name
A Generalization of Inquisitive Semantics
Original language description
This paper introduces a generalized version of inquisitive semantics, denoted as GIS, and concentrates especially on the role of disjunction in this general framework. Two alternative semantic conditions for disjunction are compared: the first one corresponds to the so-called tensor operator of dependence logic, and the second one is the standard condition for inquisitive disjunction. It is shown that GIS is intimately related to intuitionistic logic and its Kripke semantics. Using this framework, it is shown that the main results concerning inquisitive semantics, especially the axiomatization of inquisitive logic, can be viewed as particular cases of more general phenomena. In this connection, a class of non-standard superintuitionistic logics is introduced and studied. These logics share many interesting features with inquisitive logic, which is the strongest logic of this class.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA13-21076S" target="_blank" >GA13-21076S: Foundations of logic in the light of new results of philosophy and science</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Journal of Philosophical Logic
ISSN
0022-3611
e-ISSN
—
Volume of the periodical
45
Issue of the periodical within the volume
4
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
30
Pages from-to
399-428
UT code for WoS article
000379549900003
EID of the result in the Scopus database
2-s2.0-84937917699