Search results
- 1.0522192 - ÚI 2021 RIV NL eng J - Journal Article
Vidal, Amanda - Esteva, F. - Godo, L.
Axiomatizing logics of fuzzy preferences using graded modalities.
Fuzzy Sets and Systems. Roč. 401, 15 December 2020 (2020), s. 163-188. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : many-valued logic * graded preference * modal logic * vague information modeling
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 3.343, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.fss.2020.01.002
Permanent Link: http://hdl.handle.net/11104/0306692 - 2.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 - 3.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 - 4.0478211 - ÚI 2018 GB eng J - Journal Article
Vidal, Amanda - Esteva, F. - Godo, L.
On modal extensions of Product fuzzy logic.
Journal of Logic and Computation. Roč. 27, č. 1 (2017), s. 299-336. ISSN 0955-792X. E-ISSN 1465-363X
Keywords : involutive negation * possibilistic logic * truth * Product fuzzy logic * modal fuzzy logics * strong standard completeness * rational truth-constants * infinitary rule
Impact factor: 0.740, year: 2017
Permanent Link: http://hdl.handle.net/11104/0274747 - 5.0469166 - ÚTIA 2017 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
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985556
Keywords : Mathematical fuzzy logic * degree-preserving fuzzy logics * paraconsistent logics * logics of formal inconsistency
Subject RIV: BA - General Mathematics
Impact factor: 1.630, year: 2015
http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469166.pdf
Permanent Link: http://hdl.handle.net/11104/0269416 - 6.0469148 - ÚTIA 2017 US eng J - Journal Article
Esteva, F. - Godo, L. - Noguera, Carles
A logical approach to fuzzy truth hedges.
Information Sciences. Roč. 232, č. 1 (2013), s. 366-385. ISSN 0020-0255. E-ISSN 1872-6291
Institutional support: RVO:67985556
Keywords : Mathematical fuzzy logic * Standard completeness * Truth hedges
Subject RIV: BA - General Mathematics
Impact factor: 3.893, year: 2013
http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469148.pdf
Permanent Link: http://hdl.handle.net/11104/0269419 - 7.0466763 - ÚI 2017 RIV DE eng J - Journal Article
Vidal, Amanda - Bou, F. - Esteva, F. - Godo, L.
On Strong Standard Completeness in Some MTL-Delta Expansions.
Soft Computing. Roč. 21, č. 1 (2017), s. 125-147. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA ČR(CZ) GF15-34650L
Grant - others:Austrian Science Fund(AT) I1897-N25
Institutional support: RVO:67985807
Keywords : mathematical fuzzy logic * left-continuous t-norms * monoidal t-norm logic * infinitary rules * standard completeness
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 2.367, year: 2017
Permanent Link: http://hdl.handle.net/11104/0264998 - 8.0404772 - UIVT-O 20030017 RIV GB eng J - Journal Article
Esteva, F. - Godo, L. - Hájek, Petr - Montagna, F.
Hoops and Fuzzy Logic.
Journal of Logic and Computation. Roč. 13, č. 4 (2003), s. 531-555. ISSN 0955-792X. E-ISSN 1465-363X
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : mathematical fuzzy logics * BL-algebras * falsehood-free fragments * hoops * conservativeness
Subject RIV: BA - General Mathematics
Impact factor: 0.586, year: 2003
Permanent Link: http://hdl.handle.net/11104/0125006 - 9.0404058 - UIVT-O 20000192 RIV CZ eng J - Journal Article
Godo, L. - Esteva, F. - Hájek, Petr
Reasoning about Probability using Fuzzy Logic.
Neural Network World. Roč. 10, č. 5 (2000), s. 811-824. ISSN 1210-0552.
[SOFSEM 2000 Workshop on Soft Computing. Milovy, 27.11.2000-28.11.2000]
R&D Projects: GA ČR GA201/00/1489
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * probability * local computations
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0003438File Download Size Commentary Version Access 404058-h.pdf 4 667.4 KB Publisher’s postprint require - 10.0403394 - UIVT-O 20000005 RIV DE eng J - Journal Article
Esteva, F. - Godo, L. - Hájek, Petr - Navara, M.
Residuated Fuzzy Logics with an Involutive Negation.
Archive for Mathematical Logic. Roč. 39, č. 2 (2000), s. 103-124. ISSN 0933-5846. E-ISSN 1432-0665
R&D Projects: GA AV ČR IAA1030601; GA ČR GA201/97/0437
Institutional research plan: AV0Z1030915
Subject RIV: BA - General Mathematics
Impact factor: 0.321, year: 2000
Permanent Link: http://hdl.handle.net/11104/0123704File Download Size Commentary Version Access a0403394.pdf 2 144.1 KB Publisher’s postprint require