This paper presents new image processing operations based on the Dubois and Prade proposal of a fuzzy triangular norm. This definition is recalled, and a computational efficient algorithm is derived for its fast computation. This procedure also gives a comprehensive model for reasoning about the qualitative effects of the Dubois and Prade fuzzy norm on data. The presented image processing opera...

Scaled iterates associated with the serial Kogbetliantz method for computing the singular value decomposition (SVD) of complex triangular matrices are considered. They are defined by B (k) S = |diag(B )| B |diag(B)|, where B are matrices generated by the method. Sharp estimates are derived for the Frobenius norm of the off-diagonal part of B (k) S , in the case of simple singular values. This n...

Triangular norms (t-norms for short) play a crucial role in several fields of mathematics and AI. For an exhaustive overview on t-norms we refer to [20]. Recently an increasing interest of left-continuous t-norm based theories can be observed (see e.g. [3, 5, 6, 7, 18]). In this paper we discuss in detail the presently existing construction methods which result in left-continuous triangular nor...

Triangular norms in the study of probabilistic metric spaces as a special kind of associative functions defined on the unit interval. These functions have found applications in many areas since then. In this study, we present new methods for constructing triangular norms and triangular conorms on an arbitrary bounded lattice under some constraints. Also, we give some illustrative examples for t...

By applying the concept of Lukasiewicz fuzzy set to BE-algebras, notions BE-algebra and BE-filter are introduced, their properties investigated. Characterizations discussed, relationship between (resp., BE-filter) is established. The conditions for ∈-set, q-set O-set be BE-subalgebras explored. created by using BE-filter.

Three-valued logics belong to a family of nonclassical logics that started to flourish in the 1920s and 1930s, following the work of ( Lukasiewicz, 1920), and earlier insights coming from Frege and Peirce (see (Frege, 1879), (Frege, 1892), (Fisch and Turquette, 1966)). All of them were moved by the idea that not all sentences need be True or False, but that some sentences can be indeterminate i...

We present some model theoretic results for Lukasiewicz predicate logic by using the methods of continuous model theory developed by Chang and Keisler. We prove compactness theorem with respect to the class of all structures taking values in the Lukasiewicz BL-algebra. We also prove some appropriate preservation theorems concerning universal and inductive theories. Finally, Skolemization and Mo...