This paper proposes the refined first order shear deformation theory to investigate the free vibration behavior of bidirectional functionally graded porous plates. This theory satisfies the transverse shear stress free conditions at the top and bottom of the plate, thus avoids the need of a shear correction factor. The rule of mixtures is employed to compute the effective material properties an...

generalizing the concepts of -fuzzy (left, right, lateral) ideals, -fuzzy quasi-ideals and   -fuzzy bi (generalized bi-) ideals in ternary semigroups, the notions of -fuzzy (left, right, lateral) ideals, -fuzzy quasi-ideals and -fuzzy bi (generalized bi-) in ternary semigroups are introduced and several related properties are investigated. some new results are obtained.

Fuzzy semigroup theory concentrates on theoretical aspects, but also includes applications in the areas of fuzzy coding theory, fuzzy finite state machines, and fuzzy languages. In this paper, we introduce the concept of an ( , )-fuzzy filter of an ordered semigroup , where , , , , with . Since the concept of ( , )-fuzzy filter is an important and useful generalization of ordinary fuzzy filter,...

We develop a novel bi-harmonic $\mathcal{N}=4$ superspace formulation of the supersymmetric Yang-Mills theory (SYM) in four dimensions. In this approach, SYM superfield constraints are solved terms on-shell $\mathcal {N}=2$ harmonic superfields. Such an approach provides convenient tool constructing manifestly invariants and further rewriting them $\mathcal{N}= 2$ superspace. particular, we pre...

Many theories of language assume that the change of a language over time and the acquisition of a language by an individual are interrelated. In this paper we compare and try to relate Mattausch’s (2004) diachronic bidirectional Optimality Theory (bi-OT) account of the development of pronominal binding in English to Hendriks and Spenader’s (2004; 2005/6) synchronic bi-OT account of English-spea...

We present well-ordering proofs for Martin-Löf’s type theory with W-type and one universe. These proofs, together with an embedding of the type theory in a set theoretical system as carried out in [Set93] show that the proof theoretical strength of the type theory is precisely ψΩ1ΩI+ω, which is slightly more than the strength of Feferman’s theory T0, classical set theory KPI and the subsystem o...