Počet záznamů: 1

Neighborhood semantics for modal many-valued logics

SYSNO ASEP	0480886
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	Neighborhood semantics for modal many-valued logics
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, Carles (UTIA-B)_{RID, ORCID}
Zdroj.dok.	Fuzzy Sets and Systems. - : Elsevier - ISSN 0165-0114 Roč. 345, 15 August (2018), s. 99-112
Poč.str.	14 s.
Jazyk dok.	eng - angličtina
Země vyd.	NL - Nizozemsko
Klíč. slova	mathematical fuzzy logic ; modal fuzzy logics ; neighborhood frames ; Kripke semantics ; many-valued logics
Vědní obor RIV	BA - Obecná matematika
Obor OECD	Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Vědní obor RIV – spolupráce	Ústav teorie informace a automatizace - Obecná matematika
CEP	GF15-34650L GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556
UT WOS	000436569200006
EID SCOPUS	85031759745
DOI	10.1016/j.fss.2017.10.009
Anotace	The majority of works on modal many-valued logics consider Kripke-style possible worlds frames as the principal semantics despite their well-known axiomatizability issues when considering non-Boolean accessibility relations. The present work explores a more general semantical picture, namely a many-valued version of the classical neighborhood semantics. We present it in two levels of generality. First, we work with modal languages containing only the two usual unary modalities, define neighborhood frames over algebras of the logic FLew with operators, and show their relation with the usual Kripke semantics (this is actually the highest level of generality where one can give a straightforward definition of the Kripke-style semantics). Second, we define generalized neighborhood frames for arbitrary modal languages over a given class of algebras for an arbitrary protoalgebraic logic and, assuming certain additional conditions, axiomatize the logic of all such frames (which generalizes the completeness theorem of the classical modal logic E with respect to classical neighborhood frames).
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2019

Počet záznamů: 1