| bibtype |
C -
Conference Paper (international conference)
|
| ARLID |
0460686 |
| utime |
20240103212405.2 |
| mtime |
20160714235959.9 |
| SCOPUS |
84977159867 |
| WOS |
000387430000009 |
| DOI |
10.1007/978-3-319-40581-0_9 |
| title
(primary) (eng) |
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics |
| specification |
| page_count |
13 s. |
| media_type |
P |
|
| serial |
| ARLID |
cav_un_epca*0460684 |
| ISBN |
978-3-319-40581-0 |
| ISSN |
1865-0929 |
| title
|
Information Processing and Management of Uncertainty in Knowledge-Based Systems |
| part_num |
2 |
| page_num |
95-107 |
| publisher |
| place |
Cham |
| name |
Springer |
| year |
2016 |
|
| editor |
| name1 |
Carvalho |
| name2 |
J.P. |
|
| editor |
|
| editor |
|
| editor |
|
| editor |
| name1 |
Bouchon-Meunier |
| name2 |
B. |
|
| editor |
|
|
| keyword |
mathematical fuzzy logic |
| keyword |
modal fuzzy logics |
| keyword |
neighborhood frames |
| keyword |
Kripke semantics |
| keyword |
many-valued logics |
| author
(primary) |
| ARLID |
cav_un_auth*0100737 |
| name1 |
Cintula |
| name2 |
Petr |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept (eng) |
Department of Theoretical Computer Science |
| institution |
UIVT-O |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0293476 |
| name1 |
Noguera |
| name2 |
Carles |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department |
MTR |
| institution |
UTIA-B |
| full_dept |
Department of Decision Making Theory |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0331520 |
| name1 |
Roger |
| name2 |
J. |
| country |
CH |
| garant |
K |
|
| cas_special |
| project |
| ARLID |
cav_un_auth*0323282 |
| project_id |
GF15-34650L |
| agency |
GA ČR |
| country |
CZ |
|
| project |
| ARLID |
cav_un_auth*0328078 |
| project_id |
I1897-N25 |
| agency |
Austrian Science Fund |
| country |
AT |
|
| abstract
(eng) |
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. |
| action |
| ARLID |
cav_un_auth*0331519 |
| name |
IPMU 2016 /16./ |
| dates |
20.06.2016-24.06.2016 |
| place |
Eindhoven |
| country |
NL |
|
| RIV |
BA |
| reportyear |
2017 |
| mrcbC52 |
4 O R 4o 4r 20231122141750.9 |
| inst_support |
RVO:67985807 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0260702 |
| confidential |
S |
| mrcbC86 |
n.a. Proceedings Paper Computer Science Artificial Intelligence|Computer Science Theory Methods |
| mrcbT16-s |
0.153 |
| mrcbT16-4 |
Q3 |
| mrcbT16-E |
Q4 |
| arlyear |
2016 |
| mrcbTft |
\nSoubory v repozitáři: 0460686.pdf, a0460686.pdf |
| mrcbU14 |
84977159867 SCOPUS |
| mrcbU24 |
PUBMED |
| mrcbU34 |
000387430000009 WOS |
| mrcbU63 |
cav_un_epca*0460684 Information Processing and Management of Uncertainty in Knowledge-Based Systems 2 978-3-319-40581-0 1865-0929 1865-0937 95 107 Cham Springer 2016 978-3-319-40580-3 Communications in Computer and Information Science 611 |
| mrcbU67 |
340 Carvalho J.P. |
| mrcbU67 |
340 Lesot M.-J. |
| mrcbU67 |
340 Kaymak U. |
| mrcbU67 |
340 Vieira S. |
| mrcbU67 |
340 Bouchon-Meunier B. |
| mrcbU67 |
340 Yager R.R. |
|