Výsledky vyhledávání
- 1.0491823 - ÚI 2020 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * omitting types theorem * first-order fuzzy logics * left-continuous t-norms * uninorms * logic MTL * logic UL
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 9.518, rok: 2019
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0285439Název souboru Staženo Velikost Komentář Verze Přístup 08410791-aoa.pdf 7 187.1 KB OpenAccess Vydavatelský postprint povolen a0491823prep.pdf 3 265.7 KB Autorský preprint vyžádat - 2.0466763 - ÚI 2017 RIV DE eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GF15-34650L
Grant ostatní: Austrian Science Fund(AT) I1897-N25
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * left-continuous t-norms * monoidal t-norm logic * infinitary rules * standard completeness
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.367, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0264998 - 3.0323929 - ÚI 2010 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Esteva, F. - Gispert, J. - Godo, L. - Montagna, F. - Noguera, C.
Distinguished Algebraic Semantics for t-norm Based Fuzzy Logics: Methods and Algebraic Equivalencies.
[Význačné algebraické sémantiky pro t-normové fuzzy logiky: metody a algebraické ekvivalence.]
Annals of Pure and Applied Logic. Roč. 160, č. 1 (2009), s. 53-81. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA MŠMT(CZ) 1M0545
Grant ostatní: MULOG(ES) TIN2007-68005-C04; Spanish Ministry of Education and Science(ES) MTM2004-03101; D.U.R.S.I of Generalitat de Catalunya(ES) 2005SGR; Departament d'Educació i Universitats of the Generalitat de Catalunya(ES) 2006-BP-A-10043
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: algebraic logic * embedding properties * left-continuous t-norms * mathematical fuzzy logic * residuated lattices * standard completeness
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.667, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0171757Název souboru Staženo Velikost Komentář Verze Přístup 0323929.pdf 3 898.7 KB Autorský preprint povolen - 4.0080342 - ÚI 2008 RIV DE eng J - Článek v odborném periodiku
Horčík, Rostislav - Noguera, C. - Petrík, M.
On n-contractive Fuzzy Logics.
[O n-kontraktivních fuzzy logikách.]
Mathematical Logic Quarterly. Roč. 53, č. 3 (2007), s. 268-288. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: algebraic logic * fuzzy logics * generalized contraction * generalized excluded middle * left-continuous t-norms * MTL-algebras * non-classical logics * residuated lattices * standard completeness * substructural logics * varieties * weak cancellation
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.317, rok: 2007
Trvalý link: http://hdl.handle.net/11104/0144619