A secondary semantics for Second Order Intuitionistic Propositional Logic

In this paper we propose a Kripke‐style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

X-Ray Structural Analysis of Ethyl [2,2-dimethyl-6-(Δ2-thiazolin-2-yl)-4H-1,4-benzoxazin-3-one-4-yl]butyrate

With the aim of discovering new molecules with K⁺ channel modulating properties, we have synthesized analogues of cromakalim, an important molecule which shows specific affinity toward the K⁺ channels, by replacing the benzopyrane ring with a benzoxazine moiety. As a part of this study, we have synthesized and characterized, in solution and in the solid state as well, the compound ethyl [2,2-dimethyl-6-(²-thiazolin-2-yl)-4H-l,4-benzoxazin-3-one-4-yl]butyrate (V). This compound exhibits in the solid state the following parameters: molecular formula C₁₉H₂₄N₂O₄S, triclinic, space group , M_w = 376.5, a = 12.581(3) Å, b = 5.485(4) Å, c = 14.612(2) Å, = 91.85(2), = 108.9(3), = 82.04(4), V = 944.7 ų, Z = 2, d = 1.323 g·cm^–3. We describe here the synthesis and discuss the solid-state conformation of this new molecule; when tested on rat aorta ring precontracted with phenylephrine, the compound showed a concentration-dependent relaxation comparable to that measured for cromakalin taken as reference drug.     

Efficient microwave combinatorial parallel and nonparallel synthesis of N-alkylated glycine methyl esters as peptide building blocks

An easy and convenient microwave-assisted synthesis of N-alkylated glycine methyl esters is described. Parallel and nonparallel combinatorial methods are described and compared. The described reactions are reductive alkylations of several aldehydes and glycine methyl ester in the presence of NaBH3CN. Good yields and short reaction times are the main aspects of these procedures.     

Synthesis and Pharmacological Screening of Pyridopyrimidines as Effective Anti-Diarrheal Agents through the Suppression of Cyclic Nucleotide Accumulation

The increased levels of cyclic nucleotides (cGMP and cAMP) in enterocytes trigger intracellular mechanisms of ion and fluid secretion into the lumen, causing secretory diarrhea. Twelve novel pyridopyrimidines derived from 5-(3,5-bistrifluoromethylphenyl)-1,3-dimethyl-5,11-dihydro-1H-indeno[2,1 : 5,6]pyrido[2,3-d]pyrimidine-2,4,6-trione (FPIPP) were synthesized and evaluated on intracellular cyclic nucleotide accumulation. All compounds had no effect on either cyclic nucleotide basal levels or on pre-contracted aortic rings. The metabolic activity and viability in T84 cells, assessed by MTT (3-(4,5-dimethylthiazol-2-yl)-2,5-diphenyl tetrazolium bromide) and the LDH (lactate dehydrogenase) assays, respectively, were not affected by incubation with the compounds (50 μM). Compound VI almost abolished cGMP accumulation (94 % inhibition) induced by STa toxin in T834 cells and significantly reduced (69 %) forskolin-induced cAMP accumulation in Jurkat cells. Compound VI was active in an in vivo model for diarrhea in rabbits. These results prompted us to perform a microscopic histopathological analysis of intestinal tissues, showing that only compound VI preserves the intestine without significant pathological changes and with a decreased inflammatory pattern in comparison to FPIPP. In vitro stability test revealed that compound VI is resistant to oxidation promoted by atmospheric oxygen.     

Fully Automated Synthesis of Novel TSPO PET Imaging Ligand [18F]Fluoroethyltemazepam

Introduction: Benzodiazepines, including temazepam are described as TSPO antagonists. In fact, TSPO was initially described as a peripheral benzodiazepine receptor (PBR) with a secondary binding site for diazepam. TSPO is a potential imaging target of neuroinflammation because there is an amplification of the expression of this receptor. Objectives: Herein, we developed a novel fluorinated benzodiazepine ligand, [¹⁸F]Fluoroethyltemazepam ([¹⁸F]F-FETEM), for positron emission tomography (PET) imaging of translocator protein (18 kDa). Methods: [¹⁸F]F-FETEM was radiolabelled with an automated synthesizer via a one-pot procedure. We conducted a [¹⁸F]F-aliphatic nucleophilic substitution of a tosylated precursor followed by purification on C18 and Alumina N SPE cartridges. Quality control tests was also carried out. Results: We obtained 2.0–3.0% decay-uncorrected radiochemical activity yield (3.7% decay-corrected) within the whole synthesis time about 33 min. The radiochemical purity of [¹⁸F]F-FETEM was over 90% by TLC analysis. Conclusions: This automated procedure may be used as basis for future production of [¹⁸F]F-FETEM for preclinical PET imaging studies.     

Local-field effects on the optical properties of non-cubic crystals

A method is developed that allows effective calculation of local-field effects on optical properties of non-cubic crystals in the Random Phase Approximation, expanding electron wave-functions on localized orbitals. Adler and Wiser's formula of the macroscopic dielectric constant is generalized to the case of non-cubic crystals, where a macroscopic dielectric tensor is defined in terms of Wannier functions.     

Microwave solvent free regioselective 1,3 dipolar cycloaddition in the synthesis of 1,4 substituted [1,2,3]‐triazoles as amide bond isosteres

1,3 Dipolar cycloaddition of Fmoc‐amino azides and acetylenic amides produces under solvent free irradiation a mixture of 1,4 or 1,5 substituted [1,2,3]‐triazoles. The presence of copper (I) iodide, plays a central role on regioselectivity. Four Fmoc‐amino azides characterized by different steric hindrance in side chains, and three different terminal alkynes, provided only the 1,4 substituted regioisomer under thermal microwave heating. Good yields, low consumption of organic solvents and short reaction times are the main aspects of our procedure. Reactions are compared to regioselective copper (I) catalysed solution synthesis performed at room temperature.