Logic An Emphasis on Formal Logic

This book examines an abstract mathematical theory, placing special emphasis on results applicable to formal logic. If a theory is especially abstract, it may find a natural home within several of the more familiar branches of mathematics. This is the case with the theory of closure spaces. It might be considered part of topology, lattice theory, universal algebra or, no doubt, one of several other branches of mathematics as well. In our development we have treated it, conceptually and methodologically, as part of topology, partly because we first thought ofthe basic structure involved (closure space), as a generalization of Frechet's concept V-space. V-spaces have been used in some developments of general topology as a generalization of topological space. Indeed, when in the early '50s, one of us started thinking about closure spaces, we thought ofit as the generalization of Frechet V­ space which comes from not requiring the null set to be CLOSURE SPACES ANDLOGIC XlI closed(as it is in V-spaces).

This book illustrates how to use description logic-based formalisms to their full potential in the creation, indexing, and reuse of multimedia semantics. To do so, it introduces researchers to multimedia semantics by providing an in-depth review of state-of-the-art standards, technologies, ontologies, and software tools.

Fuzzy geometric programming was originated by the author in the Proceed­ ing of the second IFSA conferences, 1987(Tokyo) 14 years ago. Later, the paper was invited for formal publication in the International Journal of Fuzzy Sets and Systems. From then on, more and more papers have been written by scholars all over the world who have been interested in its research. So this programming method has been acknowledged by experts and has gradually formed a new branch of fuzzy mathematics. lnspired by Zadeh's fuzzy sets theory, fuzzy geometric programming emerges from the combination of fuzzy sets theory with geometric programming, where models are built in the fuzzy posynomial and the reverse geometric program­ ming.