Počet záznamů: 1
Games: Unifying Logic, Language, and Philosophy
- 1.
SYSNO ASEP 0321367 Druh ASEP M - Kapitola v monografii Zařazení RIV C - Kapitola v knize Název Towards Evaluation Games for Fuzzy Logics. Chapter 6 Překlad názvu Evaluační hry pro fuzzy logiky Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Majer, Ondrej (FLU-F) RID, ORCID, SAIZdroj.dok. Games: Unifying Logic, Language, and Philosophy. - New York : Springer Science+ Business Media B.V, 2009 / Majer O. ; Pietarien A.-V. ; Tulenheimo T. - ISBN 978-1-4020-9373-9 Rozsah stran s. 117-138 Poč.str. 22 s. Poč.výt. 250 Poč.str.knihy 380 Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova game-theoretic semantics ; evaluation games ; fuzzy logic ; Lukasiewicz logic Vědní obor RIV BA - Obecná matematika CEP 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy GA401/04/0117 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) AV0Z90090514 - FLU-F (2005-2011) UT WOS 000266907100007 DOI 10.1007/978-1-4020-9374-6_6 Anotace The article provides two kinds of game-theoretical semantics for fuzzy logics with special attention to Łukasiewicz logic. The first one is a generalization of the evaluation games for classical logic. It is shown that it provides an interesting contribution to the model theory of fuzzy logics as, unlike the standard semantics, it can deal with the so-called non-safe models. The second kind of semantics makes explicit the intuition about fuzzy logics as logics of partial truth and provides a semantics in the form of a bargaining game. Finally, a basic kind of logic of informational independence of a Hintikka-Sandu style is introduced. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2009
Počet záznamů: 1