Proof systems based on rules with the property that all formulas contained in the assumptions are contained as subformulas in the conclusion as well, are particularly suitable for automated proof search. Systems of this kind were found for several well-known fuzzy logics. However, for BL (Basic Logic), the logic of continuous t-norms and their residua, the situation is less satisfactory. We con...

Pseudo-MTL algebras or weak pseudo-BL algebras are non-commutative fuzzy structures which arise from pseudo-t-norms, namely, pseudo-BL algebras without the pseudo-divisibility condition. The aim of this paper is to investigate the properties of pseudo-BL algebras that also hold for pseudoMTL algebras. We will also study some classes of pseudo-MTL algebras such as good, local and Archimedean pse...

In this paper 2D hexagonal finite fuzzy cellular automata defined by transition of local rules based on cell structure are studied. Here the inverse problem is also

Purpose: Today, without having competent and efficient human resources, organizations will not be able to create transformation, development and excellence, achieve a strategic model and achieve the set goals. The way to achieve this is to develop the management and leadership of the organization and create an efficient structure for the human resources organization. Therefore, the main purpose...

 Edge Detection is an important task for sharpening the boundary of images to detect the region of interest. This paper applies a linear cellular automata rules and a Mamdani Fuzzy inference model for edge detection in both monochromatic and the RGB images. In the uniform cellular automata a transition matrix has been developed for edge detection. The Results have been compared to the ...

Each fuzzy set can be represented by a nested system of ordinary sets—its a-cuts. There is an extensive literature on fuzzy sets devoted to problems of the following kind: is it possible to reduce operations with fuzzy sets to operations with their a-cuts? Is it possible to reduce properties of fuzzy relations to properties of their a-cuts? More generally, can a fuzzy concept be represented by ...