we present some model theoretic results for {l}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by chang and keisler.we prove compactness theorem with respect to the class of allstructures taking values in the {l}ukasiewicz $texttt{bl}$-algebra.we also prove some appropriate preservation theorems concerning universal and inductive theories.finally, skolemizatio...

The notion of a linear space is generalized to the case where the underlying algebra is a commutative monoid and the set of scalars is a semiring reduct of a BL-algebra or an MValgebra. The notions of linear dependence and independence are also introduced and necessary and sufficient conditions when vectors form a basis of a semi-linear space are given. A linear mapping between two semilinear s...

The main idea of behaviour-based control structures is to handle partially known complex situations by a set of known behaviours (strategies). By discrete switching to the behaviour seems to be the most appropriate one, or by fusing the behaviours appeared to be the most appropriate ones. These structures has two main tasks to solve. The first is the decision about the level of suitability of t...

Simulations and bisimulations between two fuzzy automata over a complete residuated lattice were defined by Ćirić et al. (2012) [7], [8] as relations the sets of states automata. However, they act crisp relationship In particular, if there exists (forward) bisimulation automata, then languages recognized them are crisply equal. Approximate simulations introduced Stanimirović (2022) [36] aim at ...

This work is towards the study of the relationship between fuzzy preordered sets and Alexandrov (left/right) fuzzy topologies based on generalized residuated lattices here the fuzzy sets are equipped with generalized residuated lattice in which the commutative property doesn't hold. Further, the obtained results are used in the study of fuzzy automata theory.

In this paper, a modified TOPSIS (techniques for order preference by similarity to ideal solution) approach for solving bi-level multi-objective programming (BL-MOP) problems with fuzzy parameters is presented. These fuzzy parameters are assumed to be characterized by fuzzy numerical data, reflecting the experts' imprecise or fuzzy understanding of the nature of the parameters in the problem fo...

Pattern matching problem is still very interesting and important problem. Algorithms for the exact pattern matching search for exact patterns in some texts or figures. Algorithms for an approximate pattern matching search for exact and similar patterns with some errors. They use some measures to evaluate a similarity of found similar patterns. In the area of the pattern matching allowing errors...

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...

The paper considers the generalized structure of maintenance system, including, in general case, protection subsystem, functional diagnostics test and repair subsystem. technical implementation listed subsystems is possible form tools built into object external to object. For transport technological machines ratios volumetric characteristics built-in are analyzed (using simplest analytical expr...

Product Logic Π is an axiomatic extension of Hájek’s Basic Fuzzy Logic BL coping with the 1-tautologies when the strong conjunction & and implication → are interpreted by the product of reals in [0, 1] and its residuum respectively. In this paper we investigate expansions of Product Logic by adding into the language a countable set of truth-constants (one truth-constant r for each r in a counta...