we consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $x$, $(x, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $x$. we also show that, for a strong residuated lattice $x$, $bigcap {p_{lambda} ,|,p_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...

We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...

We further study the filter theory of pseudo-BL algebras.We give some equivalent conditions of filter, normal filter and Boolean filter. We introduce the notion of pseudo MV-filter, pseudo-G filter and characterize Boolean algebras, pseudo-MV algebras and pseudo Gödel algebras (i.e. Gödel algebras) in pseudo-BL algebras. We establish the connections between BCC-algebras, pseudo-BCK algebras, ps...

The logic MTL, Monoidal t-norm based logic was presented by F. Estva and L. Godo and discuss several properties of MTL-algebra in [6] The Boolean logic (BL) was introduced by P. Hajek and discuss the properties in [1].The fuzzy reasoning and implication operators was discussed by Ying in ([2],[3]). A proper logical system for fuzzy propositional calculus and a innovative arithmetical configurat...

A complete methodology is employed to determine the transmission characteristics of low-voltage/broadband over power lines (LV/BPL) channels associated with underground power distribution networks, in the light of the multiconductor transmission line (MTL) theory. The established bottom-up approach, already used to treat overhead and underground MV/BPL transmission, is extended to analyze BPL t...

Wheat nutrition and processing-quality are primarily based on the endosperm ingredients. However, effect of embryos grain traits components remains unclear. In this study, we found that in cross-pollinated self-pollinated progenies four wheat mtl mutants (mtl-A, mtl-AD, mtl-BD, mtl-ABD) haploid induction rates were 0–15.6% 0–14.1%, embryo abortion 0–27.4% 0–24.1%, respectively, which mtl-A had ...

The Archimedean property is one of the most beautiful axioms of the classical arithmetic and some of the methods of constructing the field of real numbers are based on this property. It is well-known that every Archimedean `-group is abelian and every pseudo-MV algebra is commutative. The aim of this paper is to introduce the Archimedean property for pseudo-MTL algebras and FLw-algebras. The ma...

in this paper rst we dene the notions of positive implicativehyper mv -ideals of types 1,2,3 and 4 in hyper mv -algebras and we investigatethe relationship between of them . then by some examples we show that thesenotions are not equivalent. finally we give some relations between these notionsand the notions of (weak) hyper mv -ideals and (weak) hyper mv -deductivesystems of hyper mv -algebras.