Počet záznamů: 1
Structural Completeness and Superintuitionistic Inquisitive Logics
- 1.
SYSNO ASEP 0575743 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Structural Completeness and Superintuitionistic Inquisitive Logics Tvůrce(i) Ferguson, Thomas (FLU-F) ORCID, RID
Punčochář, Vít (FLU-F) RID, ORCID, SAICelkový počet autorů 2 Zdroj.dok. 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 Rozsah stran s. 194-210 Poč.str. 17 s. Forma vydání Tištěná - P Akce WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./ Datum konání 11.07.2023 - 14.07.2023 Místo konání Halifax Země CA - Kanada Typ akce WRD Jazyk dok. eng - angličtina Země vyd. CH - Švýcarsko Klíč. slova structural completeness ; inquisitive logic ; superintuitionistic logics ; substitution Vědní obor RIV AA - Filosofie a náboženství Obor OECD Philosophy, History and Philosophy of science and technology CEP GM21-23610M GA ČR - Grantová agentura ČR Institucionální podpora FLU-F - RVO:67985955 EID SCOPUS 85172728813 DOI 10.1007/978-3-031-39784-4_12 Anotace 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.. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2024 Elektronická adresa https://doi.org/10.1007/978-3-031-39784-4_12
Počet záznamů: 1