We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut-elimination and subformula property. Based on the same design, we introduce a variant of Lambek calculus with exponentials, aimed at capturing the controlled application of exchange and associativity. Properness (i.e. clo...

We study the composition and substitution of services from a theoretical perspective. An important notion is the operating guideline of a service y, which is defined as the set of services x such that the result of connecting x and y has a certain desired property. We define several related notions and derive results for them in a general context, thus abstracting from the underlying formalism,...

N-(9-Anthrylmethyl)amines which combine a fluorescent subunit and a chelate forming fragment have revealed a signal switching property in an aqueous solution upon complexation (off) with Cu(II) and liberation (on) of the probe molecule by substitution with an other ligand. The ligand exchange reaction between N-(phosphonomethyl)glycine (glyphosate), a typical herbicide, with N-(9-anthrylmethyl)...

Polynomial Tree Substitution Grammars, a subclass of STSGs for which finding the most probable parse is no longer NP-hard but polynomial, are defined and characterized in terms of general properties on the elementary trees of the grammar. Necessary and sufficient conditions for effective polynomiality are first given. Then, various sufficient properties which are easier to compute are analyzed....

What can be inferred, without assuming the Independence axiom, about an agent’s preferences over many-good lotteries from knowledge that the agent is income risk averse? We show that income risk aversion corresponds to an intuitive substitution property of the many-good lottery preferences that is, itself, equivalent to a standard definition of many-good risk aversion. We apply our approach to ...

A dramatic effect of crystal morphology, photoreactivity and photosalient property is observed in a zinc(II) complex due to solvent effects and fluorine substitution at the backbone of the ligand. Of the two crystal forms with a 3-fluoro derivative, one yielded a curved morphology of single crystals and the second form shows photoreactivity in the solid state, whereas crystals of the 2-fluoro d...

αCheck is a light-weight property-based testing tool built on top of αProlog, a logic programming language based on nominal logic. αProlog is particularly suited to the validation of the meta-theory of formal systems, for example correctness of compiler translations involving name-binding, alpha-equivalence and capture-avoiding substitution. In this paper we describe an alternative to the negat...

In this paper I introduce some data from an aphasic patient who demonstrates a robust effect of grammatical class; he is unable to read any function words, and makes characteristic ‘within-category’ substitution errors. These errors extend to the class of unaccusative verbs, and this leads to a consideration of the functional nature of unaccusativity. Existing accounts of unaccusativity as a sy...

In this paper, some properties of the periodic shadowing are presented. It is shown that a homeomorphism has the periodic shadowing property if and only if so does every lift of it to the universal covering space. Also, it is proved that continuous mappings on a compact metric space with the periodic shadowing and the average shadowing property also have the shadowing property and then are chao...

Low thermal conductivity is an important materials property for thermoelectricity. The lattice (LTC) can be reduced by introducing sublattice disorder through partial isovalent substitution. Yet, large-scale screening of has seldom taken this opportunity into account. present study aims to investigate the effect substitution on LTC. relies temperature-dependent effective potential method based ...