Translating logics of uncertainty into two-layered modal fuzzy logics

0508245 - ÚI 2020 CH eng A - Abstrakt
Baldi, Paolo - Cintula, Petr - Noguera, Carles
Translating logics of uncertainty into two-layered modal fuzzy logics.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 6-10.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf

This short paper provides a translation of the logic AXM, introduced in [7] for reasoning about probabilities, into the logic FP(Ł4). The latter is a modal fuzzy logic with two syntactical layers: the lower one governed by classical logic and the upper one by Lukasiewicz logic extended with the projection connective 4. We also survey other logics for reasoning about uncertainty in the literature and hint at how they can benefit from a reformulation in terms of two-layered modal fuzzy logics.

Trvalý link: http://hdl.handle.net/11104/0299210