In this paper, we shall introduce generalized fuzzy compactness in L-spaces where L is a complete de Morgan algebra. This definition does not rely on the structure of basis lattice L and no distributivity is required. The intersection of a generalized fuzzy compact L-set and a generalized closed Lset is a generalized fuzzy compact L-set. The generalized irresolute image of a generalized fuzzy c...

Abstract A problem that is frequently encountered in a variety of mathematical contexts to find the common invariant subspaces single or set matrices. new method proposed gives definitive answer this problem. The key idea consists finding eigenvectors for exterior powers matrices concerned. convenient formulation Plücker relations then used ensure these actually correspond provide initial const...

Fuzzy set theory and fuzzy logic are the convenient tools for handling uncertain, imprecise, or unmodeled data in intelligent decision-making systems. The utility of fuzzy logic in system controls domain is presented in the context of a mobile robot navigation control application. The Takagi-Sugeno controller is a fuzzy model capable of approximating a wide class of nonlinear systems by decompo...

in this paper we continue development of formal theory of a special class offuzzy logics, called eq-logics. unlike fuzzy logics being extensions of themtl-logic in which the basic connective is implication, the basic connective ineq-logics is equivalence. therefore, a new algebra of truth values calledeq-algebra was developed. this is a lower semilattice with top element endowed with two binary...

We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing policy by a graph which has a decidable monadic theory. In this paper we show on two examples that some results on AC-terms can be raised to the level of typed AC-terms. The examples are the results on rational languages (...

from any of the three federal Canadian funding agencies must be reviewed and approved in advance by a human research ethics board (REB). The Tri-Council Policy Statement: Ethical Conduct for Research Involving Humans (TCPS) requires that each institution be fully responsible for the ethics review of human research conducted under its auspices (Article 1.2). This provision has been interpreted t...

The notion of monads originates from the category theory. It became popular in the programming languages community after Moggi proposed a way to use monads to structure denotational semantics. Wadler and others showed how this can be eeectively used as a methodology for building interpreters. Monads are capable of capturing individual language features in a modular way. This paper evaluates two...

The obstructions for an arbitrary fusion algebra to be a fusion algebra of some semisimple monoidal category are constructed. Those obstructions lie in groups which are closely related to the Hochschild cohomology of fusion algebras with coefficients in the K-theory of the ground (algebraically closed) field. The special attention is devoted to the case of fusion algebra of invariants of finite...