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.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 - 4.0537231 - ÚTIA 2022 RIV GB eng J - Journal Article
Badia, G. - Noguera, Carles
Saturated models of first-order many-valued logics.
Logic Journal of the IGPL. Roč. 30, č. 1 (2022), s. 1-20. ISSN 1367-0751. E-ISSN 1368-9894
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985556
Keywords : mathematical fuzzy logic * first-order graded logics * uninorms
OECD category: Applied mathematics
Impact factor: 1, year: 2022
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2021/MTR/noguera-0537231.pdf https://academic.oup.com/jigpal/article-abstract/30/1/1/5879257?redirectedFrom=fulltext
Permanent Link: http://hdl.handle.net/11104/0315000 - 5.0537229 - ÚTIA 2022 RIV NL eng J - Journal Article
Badia, G. - Noguera, Carles
Lindström theorems in graded model theory.
Annals of Pure and Applied Logic. Roč. 172, č. 3 (2021), č. článku 102916. ISSN 0168-0072. E-ISSN 1873-2461
Institutional support: RVO:67985556
Keywords : Mathematical fuzzy logic * Lindström theorem * Abstract model theory * Many-valued predicate logics
OECD category: Applied mathematics
Impact factor: 0.776, year: 2021
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2021/MTR/noguera-0537229.pdf https://www.sciencedirect.com/science/article/pii/S0168007220301408
Permanent Link: http://hdl.handle.net/11104/0314998 - 6.0531341 - ÚI 2021 RIV FR eng J - Journal Article
Baldi, P. - Cintula, Petr - Noguera, Carles
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory.
International Journal of Computational Intelligence Systems. Roč. 13, č. 1 (2020), s. 988-1001. ISSN 1875-6891. E-ISSN 1875-6883
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Mathematical fuzzy logic * Logics of uncertainty * Łukasiewicz logic * Probability logics * Two-layered modal logics * Hypersequent calculi
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Applied mathematics (UTIA-B)
Impact factor: 1.736, year: 2020
Method of publishing: Open access
Permanent Link: http://hdl.handle.net/11104/0310016File Download Size Commentary Version Access 0531341-aoa.pdf 10 2 MB CC BY-NC 4.0 Publisher’s postprint open-access - 7.0508606 - ÚI 2020 RIV NL eng C - Conference Paper (international conference)
Baldi, Paolo - Cintula, Petr - Noguera, Carles
Translating Classical Probability Logics into Modal Fuzzy Logics.
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019). Amsterdam: Atlantis Press, 2019 - (Štěpnička, M.), s. 342-349. Atlantis Studies in Uncertainty Modelling. ISBN 978-94-6252-770-6. ISSN 2589-6644.
[EUSFLAT 2019. Conference of the European Society for Fuzzy Logic and Technology /11./. Praha (CZ), 09.09.2019-13.09.2019]
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Mathematical Fuzzy Logic * Logics of uncertainty * Lukasiewicz logic * Probability logics * Two-layered modal logics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
https://download.atlantis-press.com/article/125914819.pdf
Permanent Link: http://hdl.handle.net/11104/0299464File Download Size Commentary Version Access 0508606-aoa.pdf 6 2.5 MB OpenAccess Publisher’s postprint open-access - 8.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 - 9.0504854 - ÚTIA 2020 RIV DE eng J - Journal Article
Badia, G. - Costa, V. - Dellunde, P. - Noguera, Carles
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic.
Soft Computing. Roč. 23, č. 7 (2019), s. 2177-2186. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA ČR(CZ) GA17-04630S
Institutional support: RVO:67985556
Keywords : Graded model theory * Mathematical fuzzy logic * Amalgamation theorems
OECD category: Pure mathematics
Impact factor: 3.050, year: 2019
Method of publishing: Open access
http://library.utia.cas.cz/separaty/2019/MTR/noguera-0504854.pdf https://link.springer.com/article/10.1007/s00500-019-03850-6
Permanent Link: http://hdl.handle.net/11104/0297072 - 10.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