In this paper, the notion of βS∗−compactness is introduced in L−fuzzy topological spaces based on S∗−compactness. A βS∗−compactness L-fuzzy set is S∗−compactness and also β−compactness. Some of its properties are discussed. We give some characterizations of βS∗−compactness in terms of pre-open, regular open and semi-open L−fuzzy set. It is proved that βS∗−compactness is a good extension of β−co...

The concepts of (∈,∈ ∨ q)-fuzzy (implicative, positive implicative and fantastic) filters of BL-algebras are introduced and some related properties are investigated. Some characterizations of these generalized fuzzy filters are derived. In particular, we describe the relationships among ordinary fuzzy (implicative, positive implicative and fantastic) filters, (∈,∈∨q)-fuzzy (implicative, positiv...

Implicit modelling is a powerful technique to design geometric shapes, where a geometric object is described by a real function. In general, the real functions used in implicit modelling are unbounded and can take any values in space R. In general, the shapes described by different level sets of an unbounded implicit function can be varied significantly and are very unpredictable. In addition, ...

This paper first proves the Savitch Theorem: any nondeterminstic L(n)− tape bounded Turing Machine can be simulated by a deterministic [L(n)]− tape bounded Turing machine, provided L(n) ≥ log2n. Then as an attempt to answer the following question: “Given a nondeterministic tape bounded Turing machine which accepts set A, how much additional storage does a deterministic Turing machine require to...

We prove that the number of conjugacy classes of maximal subgroups of bounded order in a finite group of Lie type of bounded rank is bounded. For exceptional groups this solves a longstanding open problem. The proof uses, among other tools, some methods from Geometric Invariant Theory. Using this result we provide a sharp bound for the total number of conjugacy classes of maximal subgroups of L...

In the present paper, we prove that the classical sets ∞(F ), c(F ), c0(F ) and p(F ) of sequences of fuzzy numbers are normed quasilinear spaces and the β−, α−duals of the set 1(F ) is the set ∞(F ). Besides this, we show that ∞(F ) and c(F ) are normed quasialgebras and an operator defined by an infinite matrix belonging to the class ( ∞(F ) : ∞(F )) is bounded and quasilinear. Finally, as an...

The starting point of this paper is the introduction of a new measure of inclusion of fuzzy set A in fuzzy set B. Previously used inclusion measures take values in the interval [0,1]; the inclusion measure proposed here takes values in a Boolean lattice. In other words, inclusion is viewed as an Lfuzzy valued relation between fuzzy sets. This relation is reflexive, antisymmetric and transitive,...

The starting point of this paper is the introduction of a new measure of inclusion of fuzzy set A in fuzzy set B. Previously used inclusion measures take values in the interval [0,1]; the inclusion measure proposed here takes values in a Boolean lattice. In other words, inclusion is viewed as an Lfuzzy valued relation between fuzzy sets. This relation is reflexive, antisymmetric and transitive,...

Although, in literature various results can be found claiming that fuzzy controllers are universal approximators, recently it was shown [3, 4] that for Sugeno-controllers this property does not hold any longer if the number of the rules is bounded. Namely, it was shown that the set of Sugeno-controllers is nowhere dense in the space of continuous functions. In this paper a generalization of the...

In this paper, an O-convergence theory of fuzzy nets is built in L-topological spaces by means of neighborhoods of fuzzy points. It has many nice properties. It can be used to characterize the closed set, open set, T2 separation axiom and fuzzy compactness. c © 2003 Elsevier B.V. All rights reserved.