Bibliographic Details
| Title: |
Information types in intuitionistic predicate logic with constant domains. |
| Authors: |
Punčochář, Vít1 (AUTHOR), Noguera, Carles2 (AUTHOR) |
| Source: |
Logic Journal of the IGPL. Feb2026, Vol. 34 Issue 1, p1-21. 21p. |
| Subject Terms: |
Semantics, Intuitionistic type theory, Disjunction (Logic), Intuitionistic mathematics, Mathematical logic, Kripke semantics |
| Abstract: |
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. [ABSTRACT FROM AUTHOR] |
|
Copyright of Logic Journal of the IGPL is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Business Source Index |