From Kripke to Neighborhood Semantics for Modal Fuzzy Logics
The result's identifiers
Result code in 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>
Alternative codes found
RIV/67985556:_____/16:00460686
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GF15-34650L" target="_blank" >GF15-34650L: Modeling vague quantifiers in mathematical fuzzy logic</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Information Processing and Management of Uncertainty in Knowledge-Based Systems
ISBN
978-3-319-40581-0
ISSN
1865-0929
e-ISSN
—
Number of pages
13
Pages from-to
95-107
Publisher name
Springer
Place of publication
Cham
Event location
Eindhoven
Event date
Jun 20, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000387430000009