Search results
- 1.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 - 2.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 - 3.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 - 4.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 - 5.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 - 6.0504855 - ÚTIA 2020 RIV DE eng J - Journal Article
Dubois, D. - Esteva, F. - Flaminio, T. - Noguera, Carles - Prade, H. - Rodriguez, R. O.
Many-valued Logics for Reasoning: Essays in Honor of Lluis Godo on the Occasion of his 60th Birthday.
Soft Computing. Roč. 23, č. 7 (2019), s. 2125-2127. ISSN 1432-7643. E-ISSN 1433-7479
Institutional support: RVO:67985556
Keywords : Logics for Reasoning * Lluis Godo
OECD category: Pure mathematics
Impact factor: 3.050, year: 2019
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2019/MTR/noguera-0504855.pdf https://link.springer.com/article/10.1007%2Fs00500-019-03867-x
Permanent Link: http://hdl.handle.net/11104/0297071 - 7.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 - 8.0491819 - ÚI 2020 RIV DE eng J - Journal Article
Cintula, Petr - Menchón, P. - Noguera, Carles
Toward a general frame semantics for modal many-valued logics.
Soft Computing. Roč. 23, č. 7 (2019), s. 2233-2241. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Modal many-valued logics * Mathematical fuzzy logic * Neighborhood frames * Kripke semantics * General frames
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: 3.050, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1007/s00500-018-3369-5
Permanent Link: http://hdl.handle.net/11104/0285436File Download Size Commentary Version Access a0491819prep.pdf 5 379 KB Author´s preprint open-access - 9.0490791 - ÚTIA 2019 RIV NL eng J - Journal Article
Badia, G. - Noguera, Carles
Fraisse classes of graded relational structures.
Theoretical Computer Science. Roč. 737, č. 1 (2018), s. 81-90. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985556
Keywords : Mathematical fuzzy logic * Fuzzy structure * Fraïssé limit * Fuzzy order * Weighted graphs * Graded model theory
OECD category: Applied mathematics
Impact factor: 0.718, year: 2018
http://library.utia.cas.cz/separaty/2018/MTR/noguera-0490791.pdf
Permanent Link: http://hdl.handle.net/11104/0285274 - 10.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