| bibtype |
M -
Monography Chapter
|
| ARLID |
0432930 |
| utime |
20250112200520.0 |
| mtime |
20141015235959.9 |
| SCOPUS |
85067918242 |
| WOS |
000351634900017 |
| DOI |
10.1007/978-3-319-06233-4_12 |
| title
(primary) (eng) |
The Quest for the Basic Fuzzy Logic |
| specification |
| page_count |
46 s. |
| book_pages |
318 |
| media_type |
P |
|
| serial |
| ARLID |
cav_un_epca*0432929 |
| ISBN |
978-3-319-06232-7 |
| ISSN |
2211-2758 |
| title
|
Petr Hájek on Mathematical Fuzzy Logic |
| page_num |
245-290 |
| publisher |
| place |
Cham |
| name |
Springer |
| year |
2015 |
|
| editor |
|
|
| keyword |
mathematical fuzzy logic |
| keyword |
basic fuzzy logic |
| keyword |
T-norm |
| keyword |
core fuzzy logics |
| keyword |
core semilinear logics |
| keyword |
non-associative substructural logics |
| keyword |
standard completeness |
| author
(primary) |
| ARLID |
cav_un_auth*0100737 |
| name1 |
Cintula |
| name2 |
Petr |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept (eng) |
Department of Theoretical Computer Science |
| full_dept |
Department of Theoretical Computer Science |
| garant |
K |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0208971 |
| name1 |
Horčík |
| name2 |
Rostislav |
| institution |
UIVT-O |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| 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 |
| institution |
UTIA-B |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department |
MTR |
| full_dept |
Department of Decision Making Theory |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| cas_special |
| project |
| project_id |
GAP202/10/1826 |
| agency |
GA ČR |
| ARLID |
cav_un_auth*0260903 |
|
| project |
| project_id |
GA13-14654S |
| agency |
GA ČR |
| ARLID |
cav_un_auth*0292719 |
|
| project |
| project_id |
247584 |
| agency |
EC |
| country |
XE |
| ARLID |
cav_un_auth*0323440 |
|
| project |
| project_id |
TIN2010-20967-C04-01 |
| agency |
MICINN project TASSAT |
| country |
XE |
| ARLID |
cav_un_auth*0303838 |
|
| abstract
(eng) |
The quest for basic fuzzy logic was initiated by Petr Hájek when he proposed his basic fuzzy logic BL, complete with respect to the semantics given by all continuous t-norms. Later weaker systems, such as MTL, UL or psMT^r, complete with respect to broader (but still meaningful for fuzzy logics) semantics, have been introduced and disputed the throne of the basic fuzzy logic. We contribute to the quest with our own proposal of a basic fuzzy logic. Indeed, we put forth a very weak logic calleda SL^\ell, introduced and studied in earlier works of the authors, and propose it as a base of a new framework which allows to work in a uniform way with both propositional and first-order fuzzy logics. |
| RIV |
BA |
| reportyear |
2015 |
| mrcbC52 |
4 R 4r a 20231122140509.2 A 20250112200520.0 |
| inst_support |
RVO:67985807 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0237239 |
| confidential |
S |
| mrcbC86 |
n.a. Article Mathematics|Logic |
| arlyear |
2015 |
| mrcbTft |
\nSoubory v repozitáři: dodatecne_citace_k_0432930.pdf, 0432930.pdf |
| mrcbU14 |
85067918242 SCOPUS |
| mrcbU34 |
000351634900017 WOS |
| mrcbU63 |
cav_un_epca*0432929 Petr Hájek on Mathematical Fuzzy Logic Springer 2015 Cham 245 290 978-3-319-06232-7 Outstanding Contributions to Logic 6 2211-2758 |
| mrcbU67 |
Montagna F. 340 |
|