Search results
- 1.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 - 2.0405568 - UIVT-O 330948 RIV CZ eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : strong standard completeness * monoidal t-norm logic * MTL-algebra
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125722 - 3.0405485 - UIVT-O 330862 ES eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : Archimedean completeness * MTL-algebra * residuated lattice * monoidal t-norm logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125647 - 4.0405113 - UIVT-O 20030190 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : mathematical fuzzy logic * basic fuzzy logic * monoidal t-norm logic * hoop logic * non-communicative fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125316 - 5.0405012 - UIVT-O 20030060 CZ eng V - Research Report
Hájek, Petr
Fleas and Fuzzy Logic - A Survey.
Prague: ICS AS CR, 2003. 5 s. Technical Report, V-893.
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : mathematical fuzzy logic * basic fuzzy logic * monoidal t-norm logic * hoop logic * non-communicative fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125232File Download Size Commentary Version Access v893-03.pdf 13 93.6 KB Other open-access - 6.0404516 - UIVT-O 20020145 RIV NL eng J - Journal Article
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
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : non-classical logics * basic fuzzy logic * monoidal t-norm logic * product logic
Subject RIV: BA - General Mathematics
Impact factor: 0.550, year: 2002
Permanent Link: http://hdl.handle.net/11104/0124765