Počet záznamů: 1

Translating Classical Probability Logics into Modal Fuzzy Logics

SYSNO ASEP	0508606
Druh ASEP	C - Konferenční příspěvek (mezinárodní konf.)
Zařazení RIV	D - Článek ve sborníku
Název	Translating Classical Probability Logics into Modal Fuzzy Logics
Tvůrce(i)	Baldi, Paolo (UIVT-O)_{ORCID, RID} Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, Carles (UTIA-B)_{RID, ORCID}
Zdroj.dok.	Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019). - Amsterdam : Atlantis Press, 2019 / Štěpnička M. - ISSN 2589-6644 - ISBN 978-94-6252-770-6
Rozsah stran	s. 342-349
Poč.str.	8 s.
Forma vydání	Online - E
Akce	EUSFLAT 2019. Conference of the European Society for Fuzzy Logic and Technology /11./
Datum konání	09.09.2019 - 13.09.2019
Místo konání	Praha
Země	CZ - Česká republika
Typ akce	EUR
Jazyk dok.	eng - angličtina
Země vyd.	NL - Nizozemsko
Klíč. slova	Mathematical Fuzzy Logic ; Logics of uncertainty ; Lukasiewicz logic ; Probability logics ; Two-layered modal logics
Vědní obor RIV	IN - Informatika
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	GA17-04630S GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556
UT WOS	000558710000049
EID SCOPUS	85089600355
DOI	10.2991/eusflat-19.2019.49
Anotace	This paper is a contribution to the study of two distinct kinds of modal logics for modeling uncertainty. Both approaches use logics with a two-layered syntax, but while one employs classical logic on both levels, the other involves a suitable system of fuzzy logic in the upper layer. We take two prominent examples of the former approach, probability logics Pr_lin and Pr_pol, and build explicit faithful translations into, respectively, the two-layered modal fuzzy logics given by Lukasiewicz logic with 4 and its expansion with the product connective. We first prove the faithfulness of both translations using semantics of all four involved logics. Then, we use the axiomatization of Pr_lin and a hypersequent presentation of the two-layered system over Lukasiewicz logic to obtain an alternative syntactical proof.
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2020
Elektronická adresa	https://download.atlantis-press.com/article/125914819.pdf

Počet záznamů: 1