Počet záznamů: 1

Substructural inquisitive logics

SYSNO ASEP	0505202
Druh ASEP	J - Článek v odborném periodiku
Zařazení RIV	J - Článek v odborném periodiku
Poddruh J	Článek ve WOS
Název	Substructural inquisitive logics
Tvůrce(i)	Punčochář, Vít (FLU-F)_{RID, ORCID, SAI}
Zdroj.dok.	Review of Symbolic Logic. - : Cambridge University Press - ISSN 1755-0203 Roč. 12, č. 2 (2019), s. 296-330
Poč.str.	35 s.
Forma vydání	Tištěná - P
Jazyk dok.	eng - angličtina
Země vyd.	GB - Velká Británie
Klíč. slova	inquisitive semantics ; logic of questions ; substructural logic ; classical logic ; intuitionistic logic ; fuzzy logic
Vědní obor RIV	AA - Filosofie a náboženství
Obor OECD	Philosophy, History and Philosophy of science and technology
CEP	GC16-07954J GA ČR - Grantová agentura ČR
Způsob publikování	Omezený přístup
Institucionální podpora	FLU-F - RVO:67985955
UT WOS	000492905300001
EID SCOPUS	85060990852
DOI	10.1017/S1755020319000017
Anotace	This paper shows that any propositional logic that extends a basic substructural logic BSL (a weak, nondistributive, nonassociative, and noncommutative version of Full Lambek logic with a paraconsistent negation) can be enriched with questions in the style of inquisitive semantics and logic. We introduce a relational semantic framework for substructural logics that enables us to define the notion of an inquisitive extension of λ, denoted as λ?, for any logic λ that is at least as strong as BSL. A general theory of these “inquisitive extensions” is worked out. In particular, it is shown how to axiomatize λ?, given the axiomatization of λ. Furthermore, the general theory is applied to some prominent logical systems in the class: classical logic Cl, intuitionistic logic Int, and t-norm based fuzzy logics, including for example Łukasiewicz fuzzy logic Ł. For the inquisitive extensions of these logics, axiomatization is provided and a suitable semantics found.
Pracoviště	Filosofický ústav
Kontakt	Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360
Rok sběru	2020
Elektronická adresa	https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/substructural-inquisitive-logics/81285524FFC11723B452B2D8434FEF79

Počet záznamů: 1