A normalizing system of natural deduction for intuitionistic linear logic

 The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination. Received: 10 October 2000 / Revised version: 26 July 2001 / Published online: 2 September 2002 Mathematics Subject Classification (2000): 03F52, 03F05 Keywords or phrases: Linear logic – Natural deduction – General elimination rules     

Novel dinitroxide mediating agent for stable free‐radical polymerization

A novel dinitroxide mediating agent that was suitable for stable free‐radical polymerization was synthesized and used in the block copolymerization of styrene and t‐butyl styrene. Quantitative yields of a novel dinitroxide based on 1,6‐hexamethylene diisocyanate and 4‐hydroxy‐2,2,6,6‐tetramethyl‐1‐piperidinyloxy were obtained. Various experimental parameters, including the nitroxide‐to‐initiator molar ratio, were examined, and it was determined that the polymerization was most controlled under conditions similar to those of conventional 2,2,6,6‐tetramethyl‐1‐piperidinyloxy‐mediated stable free‐radical polymerization. Moreover, the dinitroxide mediator proved to be a viable route for the facile two‐step synthesis of triblock copolymers of styrene and t‐butyl styrene. However, the dinitroxide mediation process resulted in a higher than expected level of nitroxide decomposition, which resulted in polymers possessing a terminal alkoxyamine and an adjacent hydroxylamine rather than a preferred internal bisalkoxyamine. This decomposition resulted in the formation of diblock copolymer species during the triblock copolymer synthesis. Gel permeation chromatography was used to monitor the chain‐end decomposition kinetics, and the determined observed rate constant (5.89 × 10^?5 s^?1) for decomposition agreed well with previous studies for other dinitroxide mediating agents. © 2004 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 42: 1547–1556, 2004     

Simplicial trees are sequentially Cohen–Macaulay

This paper uses dualities between facet ideal theory and Stanley–Reisner theory to show that the facet ideal of a simplicial tree is sequentially Cohen–Macaulay. The proof involves showing that the Alexander dual (or the cover dual, as we call it here) of a simplicial tree is a componentwise linear ideal. We conclude with additional combinatorial properties of simplicial trees.     

Determination of anions in rainwater by capillary electrophoresis with conductivity detection

A routine method for the determination of chloride, nitrate and sulfate anions in rainwater by capillary electrophoresis was developed. The system uses an end-column non-suppressed conductivity detector. Linear calibration plots were generated from 0.050 to 20 mg/l, which is the range generally found in wet depositions. Accuracy and precision were evaluated by analyzing certified standards of simulated rainwater and environmental samples, or by comparing CE results with those obtained by IC, the reference technique for anion analysis in wet deposition. The reproducibility of the method was satisfactory except at the lower and upper limits of the analytical range. Sensitivity lay in the range of few μg/l.     

Fairness in ambulance routing for post disaster management

Central European Journal of Operations Research - Disaster management generally includes the post-disaster stage, which consists of the actions taken in response to the disaster damages. These...     

Titanosilicates as Supports for an Enzymatic Alcoholysis Reaction

Novel [Cr^III(amp)(bipy)(Cl)] (1) (H₂amp = N-(hydroxyphenyl)salicyldimine; bipy = 2,2-bipyridyl) and [Cr^III(app)(bipy)(Cl)]⁺ (2) (H₂app = N-(hydroxyphenyl)pyridine-2-carboxaldimine; bipy = 2,2-bipyridyl) complexes have been synthesized and characterized by physico-chemical methods. Complexes 1 and 2 have been employed as catalysts in the oxidation of both saturated and unsaturated hydrocarbons using tert-butylhydroperoxide (t-BuOOH). The significance of the results with respect to oxo-functionalization of C-H bonds both in unsaturated and saturated hydrocarbons is noted.     

A new ionic liquid dimethyldinonylammonium bromide as a flow modifier for the simultaneous determination of eight carboxylates by capillary electrophoresis

Two new methods of capillary zone electrophoresis based on aqueous phosphate running buffers with UV spectrophotometric detection were developed and optimized for the determination of eight carboxylates as copper complexes. Metalcomplexes are negatively charged, so measurements were made as anion analyses with flow reversal in the capillary. Two flow modifiers were used: a common tetradecyltrimethylammonium bromide (TTAB) and a new ionic liquid dimethyldinonylammonium bromide (DMDNAB). The methods were compared to each other. Better separation was achieved with DMDNAB as the flow modifier. Method development was done using a fused silica capillary (61 cm x 50 microm i.d.).Optimization was done using 95 mmol L(-1) phosphate buffer with TTAB or DMDNAB in the concentration 0.5 mmol L(-1) at pH 7.1. A -20 kV voltage and direct UV detection at 254 nm was used in measurements. In both CE methods all the peaks in the electropherograms were properly separated, the calibration plots gave good correlation coefficients and all eight carboxylates were detected in less than 7.5 min. The two methods were tested with natural water samples and a paper mill sample, and proved to be feasible.     

Effect of ionic interactions on the oxidation of Fe(II) with H2O2 in aqueous solutions

The oxidation of Fe(II) with H₂O₂ has been measured in NaCl and NaClO₄ solutions as a function of pH, temperature T (K) and ionic strength (M, mol-L^–1). The rate constants, k (M^–1-sec^–1), d[Fe(II)]/DT=-k[Fe(II)][₂O₂]at pH=6.5 have been fitted to equations of the formlog k = log k₀+ AI ^1/2+BI+CI ^1/2/T Where log k₀=15.53-3425/T in water; A=–2.3, –1.35; B=0.334, 0.180; and C=391, 235, respectively, for NaCl (=0.09) and NaClO₄ ( =0.08). Measurements made in NaCl solutions with added anions yield rates in the order B(OH) ₄ ^– >HCO ₃ ^– >ClO ₄ ^– >Cl^–>NO ₃ ^– >SO ₄ ^2– and are attributed to the relative strength of the interactions of Fe²⁺ or FeOH⁺ with these anions. The FeB(OH) ₄ ⁺ species is more reactive while the FeCO ₃ ⁰ , FeCl⁺, FeNO ₃ ⁺ and FeSO ₄ ⁰ species are less reactive than the FeOH⁺ ion pair. The general trend is similar to our earlier studies of the oxidation of Fe(II) with O₂ except for B(OH) ₄ ^– . The effect of pH on the logk was found to be a quadratic function of the concentration of H⁺ or OH^– from pH=4 to 8. These results have been attributed to the different rate constants for Fe²⁺ (k₀) and FeOH⁺ (k₁) which are related to the measured k by, k=k_0Fe + k_1FeOH, where _i is the molar fraction of species i. The rates increase due to the greater reactivity of FeOH⁺ compared to Fe²⁺. k₀ is independent of composition and ionic strength but k₁ is a function of ionic strength and composition due to the interactions of FeOH⁺ with various anions.     

Method for immobilization of liposomes in capillary electrophoresis by electrostatic interaction with derivatized agarose

A novel procedure for immobilization of liposomes inside fused-silica capillaries is demonstrated. First, the inner wall of the capillaries was coated with a positively charged polymer, composed of derivatized agarose. Subsequently, negatively charged liposomes were immobilized by electrostatic interaction on the polymer coating. The developed liposome coated capillaries were used as a nanoseparation tool for studying interactions between small drug compounds and liposomes. Part of this work was presented at the 15th International Symposium on Microscale Separations and Analysis, HPCE 2002, Stockholm, Sweden, April 2002.