Search results
- 1.0561334 - FLÚ 2023 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : finite weighted structures * first-order fuzzy logics * mathematical fuzzy logic * monoidal t-norms
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 11.9, year: 2022
Method of publishing: Limited access
https://doi.org/10.1109/TFUZZ.2021.3131200
Permanent Link: https://hdl.handle.net/11104/0335510 - 2.0550074 - ÚTIA 2023 RIV US eng J - Journal Article
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
Institutional support: RVO:67985556
Keywords : mathematical fuzzy logic * first-order fuzzy logics * finite weighted structures
OECD category: Pure mathematics
Impact factor: 11.9, year: 2022
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2022/MTR/noguera-0550074.pdf https://ieeexplore.ieee.org/document/9628030
Permanent Link: http://hdl.handle.net/11104/0326170 - 3.0547245 - ÚI 2022 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : reasoning about actions and change * action languages Uncertainty * vagueness * many-valued and fuzzy logics
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0323528File Download Size Commentary Version Access 0547245-aoa.pdf 1 247.1 KB volně online Publisher’s postprint open-access - 4.0537232 - ÚTIA 2022 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985556
Keywords : mathematical fuzzy logic * omitting types theorem * first-order fuzzy logics * uninorms * weighted structures
OECD category: Applied mathematics
Impact factor: 12.253, year: 2021
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2021/MTR/noguera-0537232.pdf https://ieeexplore.ieee.org/document/9003263
Permanent Link: http://hdl.handle.net/11104/0315002 - 5.0511512 - ÚI 2020 RIV SG eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S; GA MŠMT(CZ) EF17_050/0008361
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : First order many-valued logics * fuzzy model theory * preservation theorems in first order many-valued logic * fuzzy logics
OECD category: Pure mathematics
Impact factor: 1.375, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1142/S0218488519400051
Permanent Link: http://hdl.handle.net/11104/0301759 - 6.0506967 - ÚI 2020 RIV DE eng J - Journal Article
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
Institutional support: RVO:67985807
Keywords : Mathematical fuzzy logic * Degree-preserving fuzzy logics * Paraconsistent logics * Logics of formal inconsistency
OECD category: Pure mathematics
Impact factor: 1.630, year: 2015
Method of publishing: Limited access
http://dx.doi.org/10.1007/s00500-014-1489-0
Permanent Link: http://hdl.handle.net/11104/0298089 - 7.0506948 - ÚTIA 2020 NL eng J - Journal Article
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
Institutional support: RVO:67985556
Keywords : Copula * Effect algebra * Fuzzy implication * Fuzzy logics * Fuzzy partition * Triangular norm
OECD category: Applied mathematics
Impact factor: 2.098, year: 2015
http://library.utia.cas.cz/separaty/2019/E/mesiar-0506948.pdf
Permanent Link: http://hdl.handle.net/11104/0298084 - 8.0491823 - ÚI 2020 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : mathematical fuzzy logic * omitting types theorem * first-order fuzzy logics * left-continuous t-norms * uninorms * logic MTL * logic UL
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 9.518, year: 2019
Method of publishing: Open access
Permanent Link: http://hdl.handle.net/11104/0285439File Download Size Commentary Version Access 08410791-aoa.pdf 7 187.1 KB OpenAccess Publisher’s postprint open-access a0491823prep.pdf 3 265.7 KB Author´s preprint require - 9.0486421 - ÚTIA 2019 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GF15-34650L
Institutional support: RVO:67985556
Keywords : Mathematical fuzzy logic * first-order fuzzy logics * non-classical logics
OECD category: Pure mathematics
Impact factor: 2.907, year: 2018
http://library.utia.cas.cz/separaty/2018/MTR/noguera-0486421.pdf
Permanent Link: http://hdl.handle.net/11104/0281410 - 10.0480886 - ÚI 2019 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GF15-34650L
EU Projects: European Commission(XE) 689176 - SYSMICS
Grant - others:AV ČR(CZ) JSPS-16-08; Austrian Science Fund(AT) I1897-N25
Program: Bilaterální spolupráce
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : mathematical fuzzy logic * modal fuzzy logics * neighborhood frames * Kripke semantics * many-valued logics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Impact factor: 2.907, year: 2018
Permanent Link: http://hdl.handle.net/11104/0276553File Download Size Commentary Version Access 0480886.pdf 10 678.4 KB GSp Author’s postprint open-access