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     

Stationary Distribution Function Estimation for Ergodic Diffusion Process

The problem of nonparametric stationary distribution function estimation by the observations of an ergodic diffusion process is considered. The local asymptotic minimax lower bound on the risk of all the estimators is found and it is proved that the empirical distribution function is asymptotically efficient in the sense of this bound.     

Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.     

Nanostructured polymetallaynes of controlled length: Synthesis and characterization of oligomers and polymers from 1,1′‐bis‐(ethynyl)4,4′‐biphenyl bridging Pt(II) or Pd(II) centers

The reactivity of square planar palladium(II) and platinum(II) complexes in trans or cis configuration, namely trans or cis‐[dichlorobis(tributylphosphine)platinum(II)] and trans‐[dichlorobis(tributylphosphine)palladium(II)] with 1,1′‐bis(ethynyl) 4,4′‐biphenyl, DEBP, leading to π‐conjugated organometallic oligomeric and polymeric metallaynes, was investigated by a systematic variation of the reaction conditions. The formation of polymers and oligomers with defined chain length [? M(PBu₃)₂ (C?C? C₆H₄? C₆H₄? C?C? )]_n (n = 3–10 for the oligomers, n = 20–50 for the polymers) depends on the configuration of the precursor Pt(II) and Pd(II) complexes, the presence/absence of the catalyst CuI, and the reaction time. A series of model reactions monitored by XPS, GPC, and NMR ³¹P spectroscopy showed the route to modulate the chain growth. As expected, the nature of the transition metal (Pt or Pd) and the molecular weight of the polymers markedly influence the photophysical characteristics of the polymetallaynes, such as optical absorption and emission behavior. Polymetallaynes with nanostructured morphology could be obtained by a simple casting procedure of polymer solutions. © 2007 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 3311–3329, 2007     

Modification of surface properties of electrospun polyamide nanofibers by means of a perfluorinated acridine

Polyamide 6 (PA6) nanofibers were prepared from formic acid solutions by using electrospinning technique. The fibers were smooth, defects free and with diameters smaller than 200 nm. Small amounts of a perfluorinated acridine were added as dopant to the feed solution to modify the wettability of the fibers. The effect of doping on the contact angle values is well apparent. The contact angle values go from 50° of pure PA6 to 120° when 6% of acridine is added. A comparison between fibers and films of pure and doped polyamide 6 was carried out in order to determine the effect of morphology on wettability. Thermal annealing near the T_g of the polymer promoted the segregation of the molecules to the surface, reaching contact angles of 131° with smaller amounts (4%) of acridine. The surface segregation was also promoted by time aging.     

Synthesis and spectroscopic properties of highly water-soluble perylene derivatives

Most known perylene diimides are lipophilic, with few exceptions of hydrophilic derivatives. Even in the latter case, the compounds have limited water solubility and show a strong tendency to self-aggregation. In this paper we present the synthesis of four new perylene derivatives with three and four basic side chains, obtained by functionalizing the bay-area of perylene. These molecules show great solubility in aqueous media as hydrochlorides and their tendency to self-aggregate is remarkably reduced with respect to the previously synthesized two-chained perylene diimides. Their different spectroscopic properties in various solvents and conditions are reported and discussed.     

A Formal Total Synthesis of (+)-Methyl Trachyloban-18-oate and (+)-Methyl 16-Oxo-17-norkauran-18-oate: Regio- and Diastereoselective Preparation of Methyl (13S)-13-Hydroxyisoatisiren-18-oate from (−)-Abietic Acid

A novel preparation of methyl (13S)-13-hydroxyisoatisiren-18-oate ( 4 ), a key-intermediate in a synthesis of (+)-methyl trachyloban-18-oate ((+)- 1 ), from (?)-abietic acid, is described. Since (?)- 1 has been previously converted into (?)-methyl 16-oxo-17-norkauran-18-oate ((?)- 16 ), our preparation of 4 constitutes also a formal total synthesis, from (?)-abietic acid, of (+)- 16 . Key steps in this approach were the allene photoaddition to podocarp-8(14)-en-13-one ( 5 ) and the conversion of the endo-toluene-4-sulfonate 11 into the exo-benzoate 12b .     

High-performance liquid chromatography with post-column derivatisation and fluorescence detection for sensitive determination of aflatoxin M1 in milk and cheese

A new HPLC method with fluorescence detection using pyridinium hydrobromide perbromide as a post-column derivatising agent has been developed to determine aflatoxin M1 in milk and cheese. The detection limits were 1 ng/kg for milk and 5 ng/kg for cheese. The calibration curve was linear from 0.001 to 0.1 ng injected. The method includes a preliminary C18-SPE clean-up and the average recoveries of Aflatoxin M1 from milk and cheese, spiked at levels of 25-75 ng/kg and 100-300 ng/kg, respectively, were 90 and 76%; the precision (RSDr) ranged from 1.7 to 2.6% for milk and from 3.5 to 6.5% for cheese. The method is rapid, easily automatable and therefore useful for accurate and precise screening of aflatoxin M1 in milk and cheese.