Abstract We prove that the existence of a measurable cardinal is equivalent to normal space whose modal logic coincides with Kripke frame isomorphic powerset two element set.

The purpose of this paper is to introduce the concept of L-fuzzybilinear operators. We obtain a decomposition theorem for L-fuzzy bilinearoperators and then prove that a L-fuzzy bilinear operator is the same as apowerset operator for the variable-basis introduced by S.E.Rodabaugh (1991).Finally we discuss the continuity of L-fuzzy bilinear operators.

We prove the decidability for a class of languages which extend BST and NP-completeness subclass them. The extended with unordered cartesian product, ordered product powerset fall in this last subclass.

Enumerating all solutions of a relational algebra equation is a natural and powerful operation which, when added as a query language primitive to the nested relational algebra, yields a query language for nested relational databases, equivalent to the well-known powerset algebra. We study sparse equations, which are equations with at most polynomially many solutions. We look at their complexity...

We study a composition operation on monads, equivalently presented as large equational theories. Specifically, we discuss the existence of tensors, which are combinations of theories that impose mutual commutation of the operations from the component theories. As such, they extend the sum of two theories, which is just their unrestrained combination. Tensors of theories arise in several context...

Abstrac t -The relational model is extended to include nested structures. This extension is formalised using the distinction between a tuple scheme and a relation scheme. The algebra and calculus languages are defined for this model. It is shown that the restricted powerset is a derived operation in the algebra and the full powerset is expressible by a safe forraula in the calculus. Since the f...

Lafont 11] gives an elegant proof of nite model property (fmp) for Multiplicative-Additive Linear Logic (MALL) and suggests it can be adapted to noncommutative linear logics of Abrusci 1]. In 4, 6, 9], fmp for certain fragments of MALL (e.g. BCI, BCII^]) and weaker systems (e.g. the product-free Lambek calculus) has been proven by a diierent method; whereas Lafont uses phase space models and qu...

interpretation: Domains and surroundings. Abstract interpretation is a general theory for specifying and designing approximate semantics of program languages [10]. Approximation can be equivalently formulated either in terms of Galois connections or closure operators [11]. An upper closure operator ρ : C → C on a poset C (uco(C ) for short), representing concrete objects, is monotone, idempoten...