Number of the records: 1
Structural Completeness and Superintuitionistic Inquisitive Logics
- 1.
SYSNO ASEP 0575743 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Structural Completeness and Superintuitionistic Inquisitive Logics Author(s) Ferguson, Thomas (FLU-F) ORCID, RID
Punčochář, Vít (FLU-F) RID, ORCID, SAINumber of authors 2 Source Title Logic, Language, Information, and Computation. - Cham : Springer, 2023 / Hansen H.H. ; Scedrov A. ; de Queiroz R.J.G.B. - ISBN 978-3-031-39783-7 Pages s. 194-210 Number of pages 17 s. Publication form Print - P Action WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./ Event date 11.07.2023 - 14.07.2023 VEvent location Halifax Country CA - Canada Event type WRD Language eng - English Country CH - Switzerland Keywords structural completeness ; inquisitive logic ; superintuitionistic logics ; substitution Subject RIV AA - Philosophy ; Religion OECD category Philosophy, History and Philosophy of science and technology R&D Projects GM21-23610M GA ČR - Czech Science Foundation (CSF) Institutional support FLU-F - RVO:67985955 EID SCOPUS 85172728813 DOI 10.1007/978-3-031-39784-4_12 Annotation In this paper, the notion of structural completeness is explored in the context of a generalized class of superintuitionistic logics involving also systems that are not closed under uniform substitution. We just require that each logic must be closed under D-substitutions assigning to atomic formulas only disjunction-free formulas. For these systems we introduce four different notions of structural completeness and study how they are related. We focus on superintuitionistic inquisitive logics that validate a schema called Split and have the disjunction property. In these logics disjunction can be interpreted in the sense of inquisitive semantics as a question forming operator. It is shown that a logic is structurally complete with respect to D-substitutions if and only if it includes the weakest superintuitionistic inquisitive logic. Various consequences of this result are explored. For example, it is shown that every superintuitionistic inquisitive logic can be characterized by a Kripke model built up from D-substitutions. Additionally, we resolve a conjecture concerning superintuitionistic inquisitive logics due to Miglioli et al.. Workplace Institute of Philosophy Contact Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Year of Publishing 2024 Electronic address https://doi.org/10.1007/978-3-031-39784-4_12
Number of the records: 1