We have studied a calculus with rst-class environments which originates from the -calculus. We give a translation of the calculus to a record calculus and show fundamental properties by using the translation. First we give a translation of simply typed calculus ! env into simply-typed record calculus ! record , which is used for proving strong normalization of ! env . Second we introduce a tran...

We investigate the expressive power of fragments of rst-order logic that are deened in terms of preexes. The main result establishes a strict hierarchy among these fragments over the signature consisting of a single binary relation. It implies that for each preex p, there is a sentence ' p in prenex normal form with preex p, over a single binary relation, such that for all sentences in prenex n...

The paper considers the set ML1 of rst-order polymodal formulas the modal operators in which can be applied to subformulas of at most one free variable. Using the mosaic technique, we prove a general satissability criterion for formulas in ML1 which reduces the modal satissability to the classical one. The criterion is then used to single out a number of new, in a sense optimal, decidable fragm...

In this article, we present the on-line interface that we have developed for the RST Spanish Treebank, the first corpus including Spanish texts annotated with rhetorical relations. This interface allows users to consult or download the texts and their corresponding annotations. In addition, it allows carrying out several tasks over a selected subcorpus: searching statistics in terms of words, r...

We study the groups Gal L (T) and Gal KP (T), and the associated equivalence relations E L and E KP , attached to a rst order theory T.

let $a_1$, $a_2$ be unital banach algebras and $x$ be an $a_1$-$a_2$- module. applying the concept of module maps, (inner) modulegeneralized derivations and  generalized first cohomology groups, wepresent several results concerning the relations between modulegeneralized derivations from $a_i$ into the dual space $a^*_i$ (for$i=1,2$) and such derivations  from  the triangular banach algebraof t...

Abstract Varied origins have the ability to construct continental red beds, such as paleoclimate, provenance, drainage status, etc. Reconstructing paleoclimate is key investigate origin. Thus, this paper outlines normal distribution constrained method (NDCM) reconstruct quantitatively and accurately during lower fourth sub-member of Shahejie (Es4 x ) in Bonan Sag, which low requirement data env...