From Kripke to Neighborhood Semantics for Modal Fuzzy Logics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F16%3A00460686" target="_blank" >RIV/67985807:_____/16:00460686 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985556:_____/16:00460686

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-40581-0_9" target="_blank" >http://dx.doi.org/10.1007/978-3-319-40581-0_9</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-40581-0_9" target="_blank" >10.1007/978-3-319-40581-0_9</a>

Jazyk výsledku

angličtina

Název v původním jazyce

From Kripke to Neighborhood Semantics for Modal Fuzzy Logics

Popis výsledku v původním jazyce

The majority of works on modal fuzzy logics consider Kripke-style possible worlds semantics as the principal semantics despite its well known axiomatizability issues when considering fuzzy accessibility relations. The present work offers the first (two) steps towards exploring a more general semantical picture, namely a fuzzified version of the classical neighborhood semantics. First we prove the fuzzy version of the classical relationship between Kripke and neighborhood semantics. Second, for any axiomatic extension of MTL (one of the main fuzzy logics), we define its modal expansion by a box-like modality, and, in the presence of some additional conditions, we prove that the resulting logic can be axiomatized by adding the E-rule to the corresponding Hilbert-style calculus of the starting logic.

Název v anglickém jazyce

From Kripke to Neighborhood Semantics for Modal Fuzzy Logics

Popis výsledku anglicky

The majority of works on modal fuzzy logics consider Kripke-style possible worlds semantics as the principal semantics despite its well known axiomatizability issues when considering fuzzy accessibility relations. The present work offers the first (two) steps towards exploring a more general semantical picture, namely a fuzzified version of the classical neighborhood semantics. First we prove the fuzzy version of the classical relationship between Kripke and neighborhood semantics. Second, for any axiomatic extension of MTL (one of the main fuzzy logics), we define its modal expansion by a box-like modality, and, in the presence of some additional conditions, we prove that the resulting logic can be axiomatized by adding the E-rule to the corresponding Hilbert-style calculus of the starting logic.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GF15-34650L" target="_blank" >GF15-34650L: Modelování vágních kvantifikátorů v matematické fuzzy logice</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2016

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems

ISBN

978-3-319-40581-0

ISSN

1865-0929

e-ISSN

—

Počet stran výsledku

13

Strana od-do

95-107

Název nakladatele

Springer

Místo vydání

Cham

Místo konání akce

Eindhoven

Datum konání akce

20. 6. 2016

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

WRD - Celosvětová akce

Kód UT WoS článku

000387430000009