Number of the records: 1

On Fuzzy Modal Logics S5(C)

SYSNO ASEP	0333783
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	On Fuzzy Modal Logics S5(C)
Author(s)	Hájek, Petr (UIVT-O)_{RID, SAI}
Source Title	Fuzzy Sets and Systems. - : Elsevier - ISSN 0165-0114 Roč. 161, č. 18 (2010), s. 2389-2396
Number of pages	8 s.
Language	eng - English
Country	NL - Netherlands
Keywords	mathematical fuzzy logic ; modal logic ; S5
Subject RIV	BA - General Mathematics
R&D Projects	GEICC/08/E018 GA ČR - Czech Science Foundation (CSF)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
UT WOS	000281273900005
EID SCOPUS	77955663034
DOI	10.1016/j.fss.2009.11.011
Annotation	The fuzzy variant S5(C) of the well-known modal logic S5 is studied, C being a recursively axiomatized fuzzy propositional logic extending the basic fuzzy logic BL. Three kinds of Kripke models are introduced and corresponding deductive systems are found.
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2011

Number of the records: 1