Data di Pubblicazione:
2019
Citazione:
Translating Classical Probability Logics into Modal Fuzzy Logics / P. Baldi, P. Cintula, C. Noguerac - In: Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology[s.l] : Atlantis Press, 2019. - ISBN 9789462527706. - pp. 342-349 (( Intervento presentato al 11. convegno Conference of the European-Society-for-Fuzzy-Logic-and-Technology (EUSFLAT) tenutosi a Prague nel 2019 [10.2991/eusflat-19.2019.49].
Abstract:
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 [6], the other involves a suitable system of fuzzy logic in the upper layer [9]. 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 Delta 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.
Tipologia IRIS:
03 - Contributo in volume
Keywords:
Mathematical Fuzzy Logic; Logics of uncertainty; Lukasiewicz logic; Probability logics; Two-layered modal logics
Elenco autori:
P. Baldi, P. Cintula, C. Noguerac
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology