Purpurin Esters Containing a Saturated Cyclic Fragment with Antimicrobial Activity

The present study is a continuation of the scientific research works for the synthesis of anthraquinonе-containing derivatives with cyclic ring systems by the interaction of 1,2,4-trihydroxyanthraquinone (purpurin) with cyclic carboxylic acid chlorides. Series of purpurin esters containing a saturated cyclic fragment was studied for antibacterial activity about museum strains of microorganisms. The effects of these preparations in vitro about Staphylococcus aureus ATCC 6538, Bacillus subtilis ATCC 6633, Escherichia coli ATCC 25922, Pseudomonas aeruginosa АТСС 27853 and fungus Сandida albicans АТСС 10231 were studied. It has been found that the compounds with the cyclohexane fragment have possess an antimicrobial activity with strains of microorganisms Staphylococcus aureus АТСС 6538 for which the MIC value was 31.25 μg/ml.

Towards automated reasoning in Herbrand structures

Herbrand structures have the advantage, computationally speaking, of being guided by the definability of all elements in them. A salient feature of the logics induced by them is that they internally exhibit the induction scheme, thus providing a congenial, computationally oriented framework for formal inductive reasoning. Nonetheless, their enhanced expressivity renders any effective proof system for them incomplete. Furthermore, the fact that they are not compact poses yet another proof-theoretic challenge. This paper offers several layers for coping with the inherent incompleteness and non-compactness of these logics. First, two types of infinitary proof system are introduced—one of infinite width and one of infinite height—which manipulate infinite sequents and are sound and complete for the intended semantics. The restriction of these systems to finite sequents induces a completeness result for finite entailments. Then, in search of effectiveness, two finite approximations of these systems are presented and explored. Interestingly, the approximation of the infinite-width system via an explicit induction scheme turns out to be weaker than the effective cyclic fragment of the infinite-height system.

Proof nets for multiplicative cyclic linear logic and Lambek calculus

This paper presents a simple and intuitive syntax for proof nets of the multiplicative cyclic fragment (McyLL) of linear logic (LL). The main technical achievement of this work is to propose a correctness criterion that allows for sequentialization (recovering a proof from a proof net) for all McyLL proof nets, including those containing cut links. This is achieved by adapting the idea of contractibility (originally introduced by Danos to give a quadratic time procedure for proof nets correctness) to cyclic LL. This paper also gives a characterization of McyLL proof nets for Lambek Calculus and thus a geometrical (i.e., non-inductive) way to parse phrases or sentences by means of Lambek proof nets.

Dihaloborenium cations stabilized by a four-membered N-heterocyclic carbene: electron deficiency compensation by asymmetric structural changes

Coordination of the four membered carbene ligand to electron deficient dihaloborenium moieties has resulted in asymmetric structural changes for the ligand's CN2P cyclic fragment.

Comparing the fragmentation chemistry of gas-phase adducts of poly(dimethylsiloxane) oligomers with metal and organic ions

Gas-phase ions of poly(dimethylsiloxane) oligomers were formed by electrospray ionization either by protonating them in solution with formic acid or by generating adducts of the oligomers with the metal ions Li+, Na+, K+, and Ag+ as well as with the organic cations NH4+, CH3CH2NH3+, and protonated glycine, aspartic acid, and 1,2-diphenylethylamine. The collision-induced fragmentation of the oligomeric ions was strongly dependent on the nature of the charging species. Ag+ adducts dissociated in a manner previously observed in secondary ion mass spectrometry experiments generating a series of linear and cyclic fragment ions, while Li+ adducts fragmented to form two ions: an adduct of the metal ion with the oligomer end-group and one with the remaining oligomer. Na+ and K+ adducts simply dissociate to form the bare metal ion. The organic species, to varying extents, transfer the proton to the oligomer to form a protonated poly(siloxane) ion. These protonated oligomers then dissociate at very low laboratory-frame collision energy along the siloxane backbone by loss of a silanol. These backbone fragments can then lose a methyl group to form a second series of fragment ions. Suggestions for probable mechanistic pathways for these processes are presented.