Mirko Navara
Czech Technical University in Prague
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Mirko Navara.
Archive for Mathematical Logic | 2000
Francesc Esteva; Lluís Godo; Petr Hájek; Mirko Navara
Abstract. Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant
International Journal of Computer Vision | 2001
Pavel Mrázek; Mirko Navara
\overline{0}
Fuzzy Sets and Systems | 1999
Erich Peter Klement; Mirko Navara
, namely
computer analysis of images and patterns | 2005
Vojtěch Franc; Václav Hlaváč; Mirko Navara
\neg \varphi
IEEE Transactions on Fuzzy Systems | 2002
Bernhard Moser; Mirko Navara
is
Proceedings of the American Mathematical Society | 1994
Mirko Navara
\varphi \to \overline{0}
Journal of Pure and Applied Algebra | 1989
Mirko Navara; Pavel Pták
. However, this negation behaves quite differently depending on the t-norm. For a nilpotent t-norm (a t-norm which is isomorphic to Łukasiewicz t-norm), it turns out that
Fuzzy Sets and Systems | 2010
Petr Cintula; Erich Peter Klement; Radko Mesiar; Mirko Navara
\neg
Fuzzy Sets and Systems | 2004
Petr Cintula; Mirko Navara
is an involutive negation. However, for t-norms without non-trivial zero divisors,
Logical, Algebraic, Analytic and Probabilistic Aspects of Triangular Norms | 2005
Mirko Navara
\neg