Translating Classical Probability Logics into Modal Fuzzy Logics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985556%3A_____%2F19%3A00508606" target="_blank" >RIV/67985556:_____/19:00508606 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985807:_____/19:00508606

Výsledek na webu

<a href="https://download.atlantis-press.com/article/125914819.pdf" target="_blank" >https://download.atlantis-press.com/article/125914819.pdf</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.2991/eusflat-19.2019.49" target="_blank" >10.2991/eusflat-19.2019.49</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Translating Classical Probability Logics into Modal Fuzzy Logics

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Translating Classical Probability Logics into Modal Fuzzy Logics

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GA17-04630S" target="_blank" >GA17-04630S: Predikátové škálované logiky a jejich aplikace v informatice</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2019

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019)

ISBN

978-94-6252-770-6

ISSN

2589-6644

e-ISSN

—

Počet stran výsledku

8

Strana od-do

342-349

Název nakladatele

Atlantis Press

Místo vydání

Amsterdam

Místo konání akce

Praha

Datum konání akce

9. 9. 2019

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

000558710000049