Výsledky vyhledávání
- 1.0561334 - FLÚ 2023 RIV US eng J - Článek v odborném periodiku
Badia, G. - Noguera, Carles
A 0-1 Law in Mathematical Fuzzy Logic.
IEEE Transactions on Fuzzy Systems. Roč. 30, č. 9 (2022), s. 3833-3840. ISSN 1063-6706. E-ISSN 1941-0034
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: finite weighted structures * first-order fuzzy logics * mathematical fuzzy logic * monoidal t-norms
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 11.9, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1109/TFUZZ.2021.3131200
Trvalý link: https://hdl.handle.net/11104/0335510 - 2.0550074 - ÚTIA 2023 RIV US eng J - Článek v odborném periodiku
Badia, G. - Noguera, Carles
A 0-1 Law in Mathematical Fuzzy Logic.
IEEE Transactions on Fuzzy Systems. Roč. 30, č. 9 (2022), s. 3833-3840. ISSN 1063-6706. E-ISSN 1941-0034
Institucionální podpora: RVO:67985556
Klíčová slova: mathematical fuzzy logic * first-order fuzzy logics * finite weighted structures
Obor OECD: Pure mathematics
Impakt faktor: 11.9, rok: 2022
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2022/MTR/noguera-0550074.pdf https://ieeexplore.ieee.org/document/9628030
Trvalý link: http://hdl.handle.net/11104/0326170 - 3.0547245 - ÚI 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Decidability and Complexity of Some Finitely-valued Dynamic Logics.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Online: IJCAI Organization, 2021 - (Bienvenu, M.; Lakemeyer, G.; Erdem, E.), s. 570-580. ISBN 978-1-956792-99-7. ISSN 2334-1033.
[KR2021: International Conference on Principles of Knowledge Representation and Reasoning /18./. Hanoi / Online (VN), 03.11.2021-12.11.2021]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: reasoning about actions and change * action languages Uncertainty * vagueness * many-valued and fuzzy logics
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0323528Název souboru Staženo Velikost Komentář Verze Přístup 0547245-aoa.pdf 1 247.1 KB volně online Vydavatelský postprint povolen - 4.0537232 - ÚTIA 2022 RIV US eng J - Článek v odborném periodiku
Badia, G. - Noguera, Carles
A general omitting types theorem in mathematical fuzzy logic.
IEEE Transactions on Fuzzy Systems. Roč. 29, č. 6 (2021), s. 1386-1394. ISSN 1063-6706. E-ISSN 1941-0034
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985556
Klíčová slova: mathematical fuzzy logic * omitting types theorem * first-order fuzzy logics * uninorms * weighted structures
Obor OECD: Applied mathematics
Impakt faktor: 12.253, rok: 2021
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2021/MTR/noguera-0537232.pdf https://ieeexplore.ieee.org/document/9003263
Trvalý link: http://hdl.handle.net/11104/0315002 - 5.0511512 - ÚI 2020 RIV SG eng J - Článek v odborném periodiku
Dellunde, P. - Vidal, Amanda
Truth-Preservation under Fuzzy pp-Formulas.
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems. Roč. 27, Suppl. 1 (2019), s. 89-105. ISSN 0218-4885. E-ISSN 1793-6411
Grant CEP: GA ČR GA17-04630S; GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: First order many-valued logics * fuzzy model theory * preservation theorems in first order many-valued logic * fuzzy logics
Obor OECD: Pure mathematics
Impakt faktor: 1.375, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1142/S0218488519400051
Trvalý link: http://hdl.handle.net/11104/0301759 - 6.0506967 - ÚI 2020 RIV DE eng J - Článek v odborném periodiku
Ertola, R. - Esteva, F. - Flaminio, T. - Godo, L. - Noguera, Carles
Paraconsistency properties in degree-preserving fuzzy logics.
Soft Computing. Roč. 19, č. 3 (2015), s. 531-546. ISSN 1432-7643. E-ISSN 1433-7479
Institucionální podpora: RVO:67985807
Klíčová slova: Mathematical fuzzy logic * Degree-preserving fuzzy logics * Paraconsistent logics * Logics of formal inconsistency
Obor OECD: Pure mathematics
Impakt faktor: 1.630, rok: 2015
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00500-014-1489-0
Trvalý link: http://hdl.handle.net/11104/0298089 - 7.0506948 - ÚTIA 2020 NL eng J - Článek v odborném periodiku
Mesiar, Radko - Stupňanová, A.
Open problems from the 12th International Conference on Fuzzy Set Theory and Its Applications.
Fuzzy Sets and Systems. Roč. 261 (2015), s. 112-123. ISSN 0165-0114. E-ISSN 1872-6801
Institucionální podpora: RVO:67985556
Klíčová slova: Copula * Effect algebra * Fuzzy implication * Fuzzy logics * Fuzzy partition * Triangular norm
Obor OECD: Applied mathematics
Impakt faktor: 2.098, rok: 2015
http://library.utia.cas.cz/separaty/2019/E/mesiar-0506948.pdf
Trvalý link: http://hdl.handle.net/11104/0298084 - 8.0491823 - ÚI 2020 RIV US eng J - Článek v odborném periodiku
Cintula, Petr - Diaconescu, D.
Omitting Types Theorem for Fuzzy Logics.
IEEE Transactions on Fuzzy Systems. Roč. 27, č. 2 (2019), s. 273-277. ISSN 1063-6706. E-ISSN 1941-0034
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * omitting types theorem * first-order fuzzy logics * left-continuous t-norms * uninorms * logic MTL * logic UL
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 9.518, rok: 2019
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0285439Název souboru Staženo Velikost Komentář Verze Přístup 08410791-aoa.pdf 7 187.1 KB OpenAccess Vydavatelský postprint povolen a0491823prep.pdf 3 265.7 KB Autorský preprint vyžádat - 9.0486421 - ÚTIA 2019 RIV NL eng J - Článek v odborném periodiku
Dellunde, P. - García-Cerdaña, A. - Noguera, Carles
Back-and-forth systems for fuzzy first-order models.
Fuzzy Sets and Systems. Roč. 345, č. 1 (2018), s. 83-98. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR(CZ) GF15-34650L
Institucionální podpora: RVO:67985556
Klíčová slova: Mathematical fuzzy logic * first-order fuzzy logics * non-classical logics
Obor OECD: Pure mathematics
Impakt faktor: 2.907, rok: 2018
http://library.utia.cas.cz/separaty/2018/MTR/noguera-0486421.pdf
Trvalý link: http://hdl.handle.net/11104/0281410 - 10.0480886 - ÚI 2019 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
Neighborhood semantics for modal many-valued logics.
Fuzzy Sets and Systems. Roč. 345, 15 August (2018), s. 99-112. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR(CZ) GF15-34650L
GRANT EU: European Commission(XE) 689176 - SYSMICS
Grant ostatní: AV ČR(CZ) JSPS-16-08; Austrian Science Fund(AT) I1897-N25
Program: Bilaterální spolupráce
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * modal fuzzy logics * neighborhood frames * Kripke semantics * many-valued logics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Impakt faktor: 2.907, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0276553Název souboru Staženo Velikost Komentář Verze Přístup 0480886.pdf 10 678.4 KB GSp Autorský postprint povolen