In the pointfree topological context of locales and frames, real functions on a locale L are represented as localic morphisms S(L)→ L(R) (i.e. frame homomorphisms L(R) → S(L)) where S(L) stands for the frame of all sublocales of L and L(R) denotes the frame of reals. This is reminiscent of dealing with (not necessarily continuous) real functions X → R as with continuous functions D(X)→ R where ...

One of the central concerns of a theory of pra~atics is to explain what actions language users per fo rm by making u t t e r a n c e s . Th is concern i s a lso r e l e v a n t to the d e s i g n e r s o f c o n v e r s a t i o n a l language unde rs tand ing systems, e s p e c i a l l y those i n tended to coope ra te w i t h a user in the e x e c u t i o n o f some t ask ( e . g . , t he Comp...

We propose a black hole thermodynamic description of highly excited charged and uncharged perturbative string states in 3 + 1 dimensional type II and 4 + 1 dimensional heterotic string theory. We also discuss the generalization to extremal and non-extremal black holes carrying magnetic charges. In quantum gravity in asymptotically flat 3 + 1 dimensional spacetime, generic high energy states wit...

This paper further develops the theory of arbitrary semigroups acting on trees via elliptic mappings. A key tool is the Lyndon-Chiswell length function L for the semigroup S which allows one to construct a tree T and an action of S on T via elliptic maps. Improving on previous results, the length function of the action will also be L.

model theory S. Feferman and J. Barwise (eds.) (1985), ModelTheoretic Logics. Abstract model theory deals with properties of model-theoretic logics L, specified by an abstract syntaxi.e. a set of “sentences” satisfying suitable closure conditionsand “satisfaction” relation M |= φ for φ a sentence of L. With each such L is associated its collection of Elementary Classes, ECL, and from that its...

This paper presents the application of fuzzy set theory (FST) within the context of integrated planning and scheduling. Fuzzy set theory provides a framework for modelling uncertain or ambiguous information, which is commonly encountered in industry. A typical example of a r l i a p e t s d p c s ©

The theory of Hilbert spaces of entire functions [1] was developed by Louis de Branges in the late 1950s and early 1960s with the help of his students including James Rovnyak and David Trutt. It is a generalization of the part of Fourier analysis involving Fourier transform and Plancherel formula. The de Branges-Rovnyak theory of square summable power series, which played an important role in l...