Search results
- 1.0405572 - UIVT-O 330952 CZ eng A - Abstract
Cintula, Petr - Navara, M.
Theorem Proving in Fuzzy Logics.
[Automatické dokazování ve fuzzy logikách.]
Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.). s. 78-80
[The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. 05.10.2005-07.10.2005, Ostrava]
R&D Projects: GA MŠMT 1M0545
Institutional research plan: CEZ:MSM6840770012
Keywords : fuzzy logic * Lukasiewicz logic * theorem proving
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125726 - 2.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 - 3.0340386 - MBÚ 2010 RIV US eng A - Abstract
Fundová, Petra - Funda, David P. - Filipovský, T. - Navara, M. - Tlaskalová, Helena
Expression of Toll-like receptors in human nasal polyps.
International Congress of Mucosal Immunology /14./. Boston: Springer, 2009. s. 15-15.
[International Congress of Mucosal Immunology /14./. 05.07.2006-09.09.2009, Boston]
Institutional research plan: CEZ:AV0Z50200510
Keywords : inflammation * microbiota
Subject RIV: EC - Immunology
Permanent Link: http://hdl.handle.net/11104/0183638 - 4.0321573 - ÚI 2009 AT eng A - Abstract
Navara, M. - Petrík, Milan - Sarkoci, P.
Convex Combinations of Triangular Norms.
The Legacy of 30 Seminars - Where Do We Stand and Where Do We Go? Linz: Johannes Kepler Universität, 2009 - (Bodenhofer, U.; De Baets, B.; Klement, E.; Saminger-Platz, S.). s. 85-87
[Linz Seminar on Fuzzy Set Theory /30./. 03.02.2009-07.02.2009, Linz]
R&D Projects: GA ČR GA201/07/1136
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0170063 - 5.0031918 - UIVT-O 336143 SK eng A - Abstract
Cintula, Petr - Klement, E.P. - Mesiar, Radko - Navara, M.
Varieties of Algebras Based on Strict t-norms and Involutive Negations.
Eight International Conference on Fuzzy Sets Theory and Applications. Liptovský Mikuláš: Academy of Armed Forces of General M.R.Štefánik, 2006 - (Klement, P.; Mesiar, R.; Drobná, E.; Chovanec, F.). s. 8-9. ISBN 80-8040-284-1.
[FSTA 2006 /8./. 30.01.2006-03.02.2006, Liptovský Ján]
R&D Projects: GA MŠMT(CZ) 1M0545
Grant - others:Grantová agentura SR(SK) VEGA 1/3006/06
Institutional research plan: CEZ:MSM6198898701
Keywords : strict t-norms * involutive negation * fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0132546