Information types in intuitionistic predicate logic with constant domains
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F26%3A00645874" target="_blank" >RIV/67985955:_____/26:00645874 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1093/jigpal/jzaf057" target="_blank" >https://doi.org/10.1093/jigpal/jzaf057</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1093/jigpal/jzaf057" target="_blank" >10.1093/jigpal/jzaf057</a>
Alternative languages
Result language
angličtina
Original language name
Information types in intuitionistic predicate logic with constant domains
Original language description
In this paper, we study two operators, inquisitive disjunction and inquisitive existential quantifier, in the context of first-order intuitionistic logic with constant domains. We explain that these operators allow us to express types of intuitionistic propositions. We first provide this language with a relational semantics and formulate a sound axiomatic system. Completeness of the system for the full language is presented as an open problem but we prove completeness for a rich fragment of the language adapting the methods developed by Gianluca Grilleti in the context of classical inquisitive logic. We also develop a general algebraic framework in which we characterize the class of “Kripkean algebras” generated by the relational semantics. In this way, we obtain our first algebraic characterization of the logic of intuitionistic types. We further characterize the class of all homomorphic images of “Kripkean algebras” that we call “inquisitive algebras”, thus obtaining a second, more general algebraic semantics for this logic.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
<a href="/en/project/GM21-23610M" target="_blank" >GM21-23610M: Logical Structure of Information Channels</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2026
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
Logic Journal of the IGPL
ISSN
1367-0751
e-ISSN
1368-9894
Volume of the periodical
34
Issue of the periodical within the volume
1
Country of publishing house
US - UNITED STATES
Number of pages
21
Pages from-to
jzaf057
UT code for WoS article
001676419400001
EID of the result in the Scopus database
2-s2.0-105029514173