Search results
- 1.0564676 - ÚTIA 2023 RIV US eng J - Journal Article
Asmus, T. C. - Dimuro, G. P. - Bedregal, B. - Sanz, J. A. - Fernandez, J. - Rodriguez-Martinez, I. - Mesiar, Radko - Bustince, H.
A constructive framework to define fusion functions with floating domains in arbitrary closed real intervals.
Information Sciences. Roč. 610, č. 1 (2022), s. 800-829. ISSN 0020-0255. E-ISSN 1872-6291
Institutional support: RVO:67985556
Keywords : (a,b)-Aggregation functions * (a,b)-Fusion functions * n-Dimensional overlap functions * t-conorms * t-norms * uninorms
OECD category: Applied mathematics
Impact factor: 8.1, year: 2022
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2022/E/mesiar-0564676.pdf https://www.sciencedirect.com/science/article/pii/S0020025522008878?via%3Dihub
Permanent Link: https://hdl.handle.net/11104/0337897 - 2.0564675 - ÚTIA 2023 RIV NL eng J - Journal Article
Asmus, T. C. - Sanz, J. A. - Dimuro, G. P. - Fernandez, J. - Mesiar, Radko - Bustince, H.
A methodology for controlling the information quality in interval-valued fusion processes: Theory and application.
Knowledge-Based System. Roč. 258, č. 1 (2022), č. článku 109963. ISSN 0950-7051. E-ISSN 1872-7409
Institutional support: RVO:67985556
Keywords : (a,b)-Aggregation functions * (a,b)-Fusion functions * n-Dimensional overlap functions * t-conorms * t-norms * Uninorms
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 8.8, year: 2022
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2022/E/mesiar-0564675.pdf https://www.sciencedirect.com/science/article/pii/S0950705122010565?via%3Dihub
Permanent Link: https://hdl.handle.net/11104/0337894 - 3.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 - 4.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 - 5.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 - 6.0465844 - ÚI 2017 RIV US eng J - Journal Article
Vidal, Amanda
MNiBLoS: A SMT-based Solver for Continuous t-norm Based Logics and Some of their Modal Expansions.
Information Sciences. Roč. 372, 1 December (2016), s. 709-730. ISSN 0020-0255. E-ISSN 1872-6291
R&D Projects: GA ČR(CZ) GF15-34650L
Grant - others:Austrian Science Fund(AT) I1897-N25; EdeTRI:TIN2012-39348-C02-01(ES) MINECO project; CSIC Intramural Project(ES) 201450E045
Institutional support: RVO:67985807
Keywords : fuzzy logics * modal logics * automated reasoning * continuous t-norms * SMT * infinitely valued logics
Subject RIV: BA - General Mathematics
Impact factor: 4.832, year: 2016
Permanent Link: http://hdl.handle.net/11104/0264289File Download Size Commentary Version Access a0465844.pdf 7 1.8 MB Publisher’s postprint require - 7.0461989 - ÚI 2017 CZ eng A - Abstract
Cintula, Petr
A Gentle Introduction to Mathematical Fuzzy Logic.
SFLA 2016 Abstracts. Ostrava: IRAFM, 2016. nestr.
[SFLA 2016. European Summer School on Fuzzy Logic and Applications. 14.08.2016-19.08.2016, Čeladná]
Institutional support: RVO:67985807
Keywords : mathematical fuzzy logic * Godel-Dummett logic * Lukasiewicz logic * t-norms
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0261519File Download Size Commentary Version Access a0461989.pdf 1 2.9 MB Publisher’s postprint open-access - 8.0405476 - UIVT-O 330851 RIV NL eng J - Journal Article
Hájek, Petr
Making Fuzzy Description Logic More General.
[Jak udělat deskripční logiku obecnější.]
Fuzzy Sets and Systems. Roč. 154, č. 1 (2005), s. 1-15. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA AV ČR 1ET100300419
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * description logic * continuous t-norms
Subject RIV: BA - General Mathematics
Impact factor: 1.039, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125639 - 9.0405462 - UIVT-O 330837 SIGLE CZ eng V - Research Report
Hájek, Petr
One More Variety in Fuzzy Logic: Quasihoops.
Prague: ICS AS CR, 2005. 6 s. Technical Report, V-937.
R&D Projects: GA MŠMT OC 274.001
Grant - others:COST(XE) Action 274 TARSKI
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * continuous t-norms * quasihoops
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125626File Download Size Commentary Version Access v937-05.pdf 19 158.1 KB Other open-access - 10.0405323 - UIVT-O 330694 AT eng A - Abstract
Cintula, Petr - Klement, E.P. - Mesiar, Radko - Navara, M.
On the Special Role of the Hamacher Product in Fuzzy Logics.
Fuzzy Logics and Related Structures. Linz: Johannes Kepler Universität, 2005 - (Gottwald, S.; Hájek, P.; Höhle, U.; Klement, E.). s. 34-37
[Linz Seminar on Fuzzy Set Theory /26./. 01.02.2005-05.02.2005, Linz]
R&D Projects: GA MŠMT OC 274.001; GA ČR GA201/02/1504; GA MŠMT 1M0545
Grant - others:COST(EU) Action 274 TARSKI; VEGA(SK) 1/0273/03; CEEPUS(SK) SK-042
Keywords : fuzzy logic * involutive negation * Hamacher product * t-norms
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125496