Výsledky vyhledávání
- 1.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 - 2.0405568 - UIVT-O 330948 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, Rostislav
On the Failure of Strong Standard Completness in PiMTL.
[O neplatnosti věty o silné standardní úplnosti logiky PiMTL.]
Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.), s. 19-21
[The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. Ostrava (CZ), 05.10.2005-07.10.2005]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: strong standard completeness * monoidal t-norm logic * MTL-algebra
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125722 - 3.0405485 - UIVT-O 330862 ES eng A - Abstrakt
Horčík, Rostislav - Cintula, Petr - Montagna, F.
Archimedean Completeness and Subvarieties of PiMTL-Algebras.
Algebraic and Topological Methods in Non-Classical Logics. Barcelona: Universitat de Barcelona, 2005. s. 40-41.
[Algebraic and Topological Methods in Non-Classical Logics /2./. 15.06.2005-18.06.2005, Barcelona]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Archimedean completeness * MTL-algebra * residuated lattice * monoidal t-norm logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125647 - 4.0405113 - UIVT-O 20030190 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hájek, Petr
Fleas and Fuzzy Logic: A Survey.
EUSFLAT 2003. Proceedings of the Third Conference of the European Society for Fuzzy Logic and Technology. Zittau: EUSFLAT, 2003 - (Wagenknecht, M.; Hampel, R.), s. 599-603. ISBN 3-9808089-4-7.
[EUSFLAT 2003. An International Conference in Fuzzy Logic and Technology. Zittau (DE), 10.09.2003-12.09.2003]
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: mathematical fuzzy logic * basic fuzzy logic * monoidal t-norm logic * hoop logic * non-communicative fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125316 - 5.0405012 - UIVT-O 20030060 CZ eng V - Výzkumná zpráva
Hájek, Petr
Fleas and Fuzzy Logic - A Survey.
Prague: ICS AS CR, 2003. 5 s. Technical Report, V-893.
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: mathematical fuzzy logic * basic fuzzy logic * monoidal t-norm logic * hoop logic * non-communicative fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125232Název souboru Staženo Velikost Komentář Verze Přístup v893-03.pdf 13 93.6 KB Jiná povolen - 6.0404516 - UIVT-O 20020145 RIV NL eng J - Článek v odborném periodiku
Hájek, Petr
Observations on the Monoidal t-norm Logic.
Fuzzy Sets and Systems. Roč. 132, č. 1 (2002), s. 107-112. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: non-classical logics * basic fuzzy logic * monoidal t-norm logic * product logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.550, rok: 2002
Trvalý link: http://hdl.handle.net/11104/0124765