The promise of Java as the vehicle for widely used, industrial strength orthogonally persistent systems places a renewed emphasis on implementation technologies for orthogonally persistent systems. The implementation of such systems has been held back by a number of factors, including a breadth of technologies spanning database and programming language research domains, and difficulty in capita...

a heyting algebra is a distributive lattice with implication and a dual $bck$-algebra is an algebraic system having as models logical systems equipped with implication. the aim of this paper is to investigate the relation of heyting algebras between dual $bck$-algebras. we define notions of $i$-invariant and $m$-invariant on dual $bck$-semilattices and prove that a heyting semilattice is equiva...

A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...

Lifting modules and their various generalizations as some main concepts in module theory have been studied and investigated extensively in recent decades. Some authors tried to present some homological aspects of lifting modules and -supplemented modules. In this work, we shall present a homological approach to -supplemented modules via fully invariant submodules. Lifting modules and H-suppleme...

We propose a kind of anisotropic planar metasurface, which has capacity to manipulate the orthogonally-polarized electromagnetic waves independently in the reflection mode. The metasurface is composed of orthogonally I-shaped structures and a metal-grounded plane spaced by a dielectric isolator, with the thickness of about 1/15 wavelength. The normally incident linear-polarized waves will be to...