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.     

Fractional Hamiltonian Monodromy

We introduce fractional monodromy in order to characterize certain non-isolated critical values of the energy–momentum map of integrable Hamiltonian dynamical systems represented by nonlinear resonant two-dimensional oscillators. We give the formal mathematical definition of fractional monodromy, which is a generalization of the definition of monodromy used by other authors before. We prove that the 1:( − 2) resonant oscillator system has monodromy matrix with half-integer coefficients and discuss manifestations of this monodromy in quantum systems. Communicated by Eduard Zehnder Submitted: February 25, 2005; Accepted: November 17, 2005     

Scientist up to the highest level

Dr. Miroslav Kyrš, DrSc. passed away prematurely and unexpectedly in August 2006 at age of 75. He was a leading person of the Czech radiochemistry during the second half of the 20th century and his results have of world-wide impact. His diligence, intelligence and permanent activity led him to be at first a laboratory chief and subsequently for about 25 years to be a chief of the Radiochemical Department of Czech Nuclear Research Institute (NRI) at Řež near Prague.     

Parton-hadron duality in event generators

The validity of local parton-hadron duality within the framework of HERWIG and JETSET event generators is investigated. We concentrate one ⁺ e ^– annihilations in LEP 2 energy range as these interactions provide theoretically the cleanest condition for the discussion of this concept. We conclude that the concept of local parton-hadron duality is not valid in either of the two generators considered.