There are familiar examples of computable structures having various computable Scott ranks. There are also familiar structures, such as the Harrison ordering, which have Scott rank ω CK 1 + 1. Makkai [12] produced a structure of Scott rank ω CK 1 , which can be made computable [10], and simplified so that it is just a tree [4]. In the present paper, we show that there are further computable str...

Stability of a fuzzy control system is closely related to the analytical structure of the fuzzy controller, which is determined by its components such as input and output fuzzy sets and fuzzy rules. We first characterize the mathematical input–output structure of fuzzy controllers and then utilize the structure characteristics to advance stability analysis. We study how the components of a gene...

The concept of L-fuzzy lattice is presented by means of an L-fuzzy partially ordered set. An L-fuzzy partially ordered set A is an L-fuzzy lattice if and only if one of A[a], A([a]), and A(a) is a lattice.

The aim of this paper is to study the concept of Intuitionistic L-fuzzy subrings and Intuitionistic L-fuzzy ideals of a ring R. In this direction definitions and properties relating to Intuitionistic L-fuzzy subrings of R and Intuitionistic L-fuzzy ideals of R are introduced and discussed. We introduce a special type of Quotient ring.

In this paper, we introduce the notions of L-fuzzy quasi-uniformities and Lfuzzy interior operators in complete residuated lattices. We investigate the L-fuzzy quasiuniformities induced by L-fuzzy interior operators. We study the relationships between Lfuzzy interior operators and L-fuzzy quasi-uniformities. We give their examples. AMS Subject Classification: 03E72, 06A15, 06F07, 54F05

Given a Brouwerian complete lattice (L,≤) and two referential sets K and E, and using a fuzzy relation R ∈ L which is reflexive and symmetric, certain fuzzy relations Ĥ ∈ L are characterized as solutions of X C R = X. These solutions Ĥ can be determinated by means of the L-fuzzy concepts associated with the K-labeled L-fuzzy context (L,K,E,E,R).

The Scott process of a relational structure M is the sequence of sets of formulas given by the Scott analysis of M . We present axioms for the class of Scott processes of structures in a relational vocabulary τ , and use them to give a proof of an unpublished theorem of Leo Harrington from the 1970’s, showing that a counterexample to Vaught’s Conjecture has models of cofinally many Scott ranks ...