although there is enough knowledge indicating on the influence of frequency content of input motion on the deformation demand of structures, state-of-the-practice seismic studies use the intensity measures such as peak ground acceleration (pga) which are not frequency dependent. the v max/a max ratio of strong ground motions can be used in seismic hazard studies as the representative of frequen...

Fuzzy relation inequalities based on max-F composition are discussed, where F is a binary aggregation on [0,1]. For a fixed fuzzy relation inequalities system $ A circ^{F}textbf{x}leqtextbf{b}$, we characterize all matrices $ A^{'} $ For which the solution set of the system $ A^{' } circ^{F}textbf{x}leqtextbf{b}$ is the same as the original solution set. Similarly, for a fixed matrix $ A $, the...

In this paper, an optimization problem with a linear objective function subject to a consistent finite system of fuzzy relation inequalities using the max-product composition is studied. Since its feasible domain is non-convex, traditional linear programming methods cannot be applied to solve it. We study this problem and capture some special characteristics of its feasible domain and optimal s...

In this paper we study the notion of forcing for Lukasiewicz predicate logic ( L∀, for short), along the lines of Robinson’s forcing in classical model theory. We deal with both finite and infinite forcing. As regard to the former we prove a Generic Model Theorem for L∀, while for the latter, we study the generic and existentially complete standard models of L∀.

In fuzzy logic in wider sense t norms got a prominent r ole in recent times In many valued logic the Lukasiewicz systems the G odel sytems and also the product logic are t norm based The present paper discusses the more general problem of the adequate axiomatizability for such t norm based logical systems in general survey ing results of the last years

2 General theory 3 2.1 Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Some logical calculi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2.1 Sequent and tableau calculi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2.2 Resolution calculi . . . . . . . . . . . . . . . . . . . . . ...

in this paper the concepts of fuzzifying β − irresolute functions and fuzzifying β − compactspaces are characterized in terms of fuzzifying β − open sets and some of their properties are discussed.

MV-algebras were introduced by Chang as an algebraic counterpart of the Lukasiewicz infinite-valued logic. D. Mundici proved that the category of MV-algebras is equivalent to the category of abelian l-groups with strong unit. A. Di Nola and A. Lettieri established a categorical equivalence between the category of perfect MV-algebras and the category of abelian l-groups. In this paper we investi...

We provide a methodology to introduce proof search oriented calculi for a large class of many-valued logics, and a sufficient condition for their Co-NP completeness. Our results apply to many well known logics including Gödel, Lukasiewicz and Product Logic, as well as Hájek’s Basic Fuzzy Logic.