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

Axiomatization of Gödel-Dummett predicate logics S2G, S3G, and PG, where PG is the weakest logic in which all prenex operations are sound, and the relationships of these logics to logics known from the literature are discussed. Examples of non-prenexable formulas are given for those logics where some prenex operation is not available. Inter-expressibility of quantifiers is explored for each of ...

A primary challenge to implementing structural health monitoring techniques on civil infrastructure is the differentiation of effects of environmental variables on the behaviour of structures from other causes of structural change. Data from the Z24 Bridge recorded over the course of nearly a year are analysed in this paper. Covariance-driven Stochastic Subspace Identification is applied to the...

The Fuzzy Constraint Networks model, a generalization of the Disjunctive Temporal Fuzzy Constraint Networks, is a framework that allows representing and reasoning with fuzzy qualitative and quantitative complex constraints. However, its general complexity is exponential, and we need to find tractable subclasses. In this paper we propose two algorithms to deal with a tractable subclass named Ser...

When a flexible fuzzy rule structure such as those with antecedent in conjunctive normal form is used, the interpretability of the obtained fuzzy model is significantly improved. However, some important problems appear related to the interaction among this set of rules. Indeed, it is relatively easy to get inconsistencies, lack of completeness, redundancies, etc. Generally, these properties are...

small Polygroups are multi-valued systems that satisfy group-likeaxioms. Using the notion of “belonging ($epsilon$)” and “quasi-coincidence (q)” offuzzy points with fuzzy sets, the concept of ($epsilon$, $epsilon$ $vee$ q)-fuzzy subpolygroups isintroduced. The study of ($epsilon$, $epsilon$ $vee$ q)-fuzzy normal subpolygroups of a polygroupare dealt with. Characterization and some of the fundam...

This paper proposes HNF approach for the applications of AGC of a hydro-thermal and Thermal-thermal systems in a power system deregulated environment. It makes an attempt to provide a new practical AGC model with Generation Rate Constraints to fulfill the needs of modern restructured interconnected systems in a Deregulated Environment.

In information processing tasks, sets may have a conjunctive or a disjunctive reading. In the conjunctive reading, a set represents an object of interest and its elements are subparts of the object, forming a composite description. In the disjunctive reading, a set contains mutually exclusive elements and refers to the representation of incomplete knowledge. It does not model an actual object o...

The notions of an ideal and a fuzzy ideal in BN-algebras are introduced. The properties and characterizations of them are investigated. The concepts of normal ideals and normal congruences of a BN-algebra are also studied, the properties of them are displayed, and a one-to-one correspondence between them is presented. Conditions for a fuzzy set to be a fuzzy ideal are given. The relationships b...

in this paper, a maximum likelihood estimation and a minimum entropy estimation for the expected value and variance of normal fuzzy variable are discussed within the framework of credibility theory. as an application, a credibilistic portfolio selection model is proposed, which is an improvement over the traditional models as it only needs the predicted values on the security returns instead of...