This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax, but while one employs classical logic on both levels and infinitely-many multimodal operators, the other involves a suitable system of fuzzy logic in the upper layer and only one monadic modality. We take two prominent examples of the former approach, the probability logics Prlin and Prpol (whose modal operators correspond to all possible linear/polynomial inequalities with integer coefficients), and three logics of the latter approach: PrŁ, PrŁ△ and PrPŁ△ (given by the Łukasiewicz logic and its expansions by the Baaz–Monteiro projection connective △ and also by the product conjunction). We describe the relation between the two approaches by giving faithful translations of Prlin and Prpol into, respectively, PrŁ△ and PrPŁ△, and vice versa. We also contribute to the proof theory of two-layered modal logics of uncertainty by introducing a hypersequent calculus HPrŁ for the logic PrŁ . Using this formalism, we obtain a translation of Prlin into the logic PrŁ, seen as a logic on hypersequents of relations, and give an alternative proof of the axiomatization of Prlin.
Baldi, P., Cintula, P., Noguera, C. (2020). Classical and fuzzy two-layered modal logics for uncertainty: Translations and proof-theory. INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 13(1), 988-1001 [10.2991/ijcis.d.200703.001].
Classical and fuzzy two-layered modal logics for uncertainty: Translations and proof-theory
Noguera C.
2020-01-01
Abstract
This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax, but while one employs classical logic on both levels and infinitely-many multimodal operators, the other involves a suitable system of fuzzy logic in the upper layer and only one monadic modality. We take two prominent examples of the former approach, the probability logics Prlin and Prpol (whose modal operators correspond to all possible linear/polynomial inequalities with integer coefficients), and three logics of the latter approach: PrŁ, PrŁ△ and PrPŁ△ (given by the Łukasiewicz logic and its expansions by the Baaz–Monteiro projection connective △ and also by the product conjunction). We describe the relation between the two approaches by giving faithful translations of Prlin and Prpol into, respectively, PrŁ△ and PrPŁ△, and vice versa. We also contribute to the proof theory of two-layered modal logics of uncertainty by introducing a hypersequent calculus HPrŁ for the logic PrŁ . Using this formalism, we obtain a translation of Prlin into the logic PrŁ, seen as a logic on hypersequents of relations, and give an alternative proof of the axiomatization of Prlin.File | Dimensione | Formato | |
---|---|---|---|
ijcis.pdf
accesso aperto
Descrizione: DOI10.2991/ijcis.d.200703.001
Tipologia:
Pre-print
Licenza:
PUBBLICO - Pubblico con Copyright
Dimensione
239.84 kB
Formato
Adobe PDF
|
239.84 kB | Adobe PDF | Visualizza/Apri |
Baldi-Cintula-Noguera-IJCIS-2020.pdf
accesso aperto
Tipologia:
PDF editoriale
Licenza:
Creative commons
Dimensione
1.97 MB
Formato
Adobe PDF
|
1.97 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/1200184