We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform subl...

partial frames provide a rich context in which to do pointfree structured and unstructured topology. a small collection of axioms of an elementary nature allows one to do much traditional pointfree topology, both on the level of frames or locales, and that of uniform or metric frames. these axioms are sufficiently general to include as examples bounded distributive lattices, $sigma$-frames, $ka...

this paper is a continuation of [uniformities and covering properties for partial frames (i)], in which we make use of the notion of a partial frame, which is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. after presenting there our axiomatization of partial frames, which we call $sels$-frames, we added structure, in th...

when structures are subjected to strong ground motion excitations, structural elements may be prone to yielding, and consequently experience significant levels of inelastic behavior. the effects of inelastic behavior on the distribution of peak floor loads are not explicitly accounted for in current seismic code procedures. during recent years, many studies have been conducted to develop new de...

this paper is an attempt at providing a systematic presentation of Quantified Modal Logics (with constant domains and rigid designators). We present a set of modular, uniform, normalizing, sound and complete labelled sequent calculi for all QMLs whose frame properties can be expressed as a finite set of first-order sentences with equality. We first present CQK, a calculus for the logic QK, and ...

an experimental study is conducted on three ½ scales, single-story, single-bay, frame specimens. the first specimen was a reinforced concrete frame with solid-brick infill. the second specimen was a reinforced concrete frame with hollow clay perforated-brick infill. the last specimen was a reinforced concrete frame without any infill. these three specimens were tested by pseudostatic method. di...

We lay down the foundations for a pointfree theory of Pervin spaces. A space is set equipped with bounded sublattice its powerset, and it known that these objects characterize those quasi-uniform spaces are transitive totally bounded. The notion space, which we call Frith frame, consists frame generating sublattice. In this paper introduce study category frames show classical dual adjunction be...

Uniform tight frames have been shown to be useful for robust data trans mission The losses in the network are modeled as erasures of transmitted frame coe cients We give the rst systematic study of the general class of uniform tight frames and their properties We search for e cient con structions of such frames We show that the only uniform tight frames with the group structure and one or two g...

An experimental study is conducted on three ½ scales, single-story, single-bay, frame specimens. The first specimen was a reinforced concrete frame with solid-brick infill. The second specimen was a reinforced concrete frame with hollow clay perforated-brick infill. The last specimen was a reinforced concrete frame without any infill. These three specimens were tested by pseudostatic method. Di...