Ústav teorie informace a automatizace

Jste zde

Bibliografie

Conference Paper (international conference)

Translating Classical Probability Logics into Modal Fuzzy Logics

Baldi Paolo, Cintula Petr, Noguera Carles

: Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019), p. 342-349 , Eds: Štěpnička M.

: EUSFLAT 2019. Conference of the European Society for Fuzzy Logic and Technology /11./, (Praha, CZ, 20190909)

: GA17-04630S, GA ČR

: Mathematical Fuzzy Logic, Logics of uncertainty, Lukasiewicz logic, Probability logics, Two-layered modal logics

: 10.2991/eusflat-19.2019.49

: https://download.atlantis-press.com/article/125914819.pdf

(eng): 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.

: IN

: 10201

07.01.2019 - 08:39