Hypothetical Logic of Proofs

The logic of proofs is a refinement of modal logic introduced by Artemov in 1995 in which the modality ?A is revisited as ?t?A where t is an expression that bears witness to the validity of A. It enjoys arithmetical soundness and completeness and is capable of reflecting its own proofs (?A implies ? ?t?A, for some t). We develop the Hypothetical Logic of Proofs, a reformulation of LP based on judgemental reasoning.     

Synthesis of Some Functionalized Peptomers via Ugi Four-Component Reaction

This article describes the synthesis of new peptomers through a simple and efficient route using a one-pot Ugi four-component reaction. The synthesis started from either carboxylic acids or protected amino acids, primary amines, aldehydes, and isocyanides in anhydrous methanol and proceeded under stirring at room temperature. The reaction produced several functionalized peptomers in good yields (67–80%). These compounds are versatile multifunctional intermediates that can be further unprotected or functionalized to generate new molecules with numerous applications in the field of biomedicine.     

Synthesis of Anabaseine and Anabasine Derivatives: Structural Modifications of Possible Nicotinic Agonists

Coupling nicotinoyl chloride with 3,4‐dimetoxyphenethylamine under Bischler‐Napieralski cyclization afforded the isoquinoline (4) in good yield. This latter was used as starting material to obtain with only hydrobromic acid a product with demethylation at the position 7 (5). In addition, treatment of (4) with NaBH₄/MeOH gave 6,7‐dimetoxy‐1‐(pyridin‐3‐yl)‐1,2,3,4‐tetrahydroisoquinoline (6) and unexpectedly, under mild reduction of the pyridine moiety with H₂/PtO₂/AcOH/, gave 6,7‐dimetoxy‐1‐(piperidin‐3‐yl)‐1,2,3,4‐tetrahydroisoquinoline (7) as the title compound. The unusual chemical reactivity of 4 onto acidic conditions and catalytic hydrogenation allowed us to obtain anabaseine and anabasine derivatives under mild conditions.     

Simultaneous determination of diclofenac and its common counter‐ions in less than 1 minute using capillary electrophoresis with contactless conductivity detection

This paper presents a method for fast and simultaneous determination of diclofenac (DCF) and its common counter‐ions (potassium, sodium, and diethylammonium) using CE with capacitively coupled contactless conductivity detection (CE‐C⁴D). On the basis of a single electropherogram (about 50 s), the proposed method allows the determination of the stoichiometry, absolute quantification and evaluation of the degradation degree of the active pharmaceutical ingredient (DCF). A linear working range from 100 to 500 μmol/L was obtained for all analytes in an equimolar TRIS/TAPS (10 mmol/L) solution as the background electrolyte as well as adequate LOD (7, 6, 7, and 10 μmol/L for K⁺, Na⁺, diethylammonium, and DCF, respectively). The proposed method was applied to the analysis of pharmaceutical formulations (tablets and spray form) with similar results to those achieved by HPLC (DCF) or flame photometry (K and Na) at a 95% confidence level.     

Multielemental evaluation of garbage bags by EDXRF

Garbage bags have been broadly used for collecting household waste in Brazil and worldwide. Many of these bags are made from recycled polymers, and the presence of harmful elements is a matter of concern. In this study, an energy dispersive X-ray fluorescence (EDXRF) approach for direct analysis of garbage bags is proposed. The concentrations of K, Ca, Ti, Cr, Mn, Fe, Ni, Cu, Zn, Br, Rb, Sr and Pb were determined in 14 garbage bags of different brands purchased from local markets in Piracicaba, São Paulo State, Brazil. The EDXRF technique proved to be an effective technique for multielemental, environmentally friendly and direct garbage bag monitoring. For most samples, Ca and Ti presented at minor concentration ranges and K, Cr, Mn, Fe, Ni, Cu, Zn and Pb at minor and trace levels. The EDXRF limits of quantification were K: 220; Ca: 112; Ti: 42; Cr: 19; Mn: 13; Fe: 9.2; Ni: 5.7; Cu: 5.3; Zn: 5.2; Br: 12; Rb: 20; Sr: 28 and Pb:17 μg g^–1. The samples had variable thicknesses, with a superficial density variation of 1.5 to 23% among the triplicates. The trueness of the method was checked by analysing the National Institute of Standards and Technology standard reference material SRM2783.     

Polymerization of Diphenylbutadiyne Derivatives in Solution by Free Radical Initiator

In order to study free radical reactions of aromatic diacetylenes, the reaction of diphenyldiacetylene with di‐t‐butylperoxide was carried out in 1,2‐dichlorobenzene. The presence of t‐butoxy radicals considerably accelerated product formation, and oligomers with number average molecular weights of 700–2000 were obtained. There is no fragment of the t‐butyl group in the oligomers obtained according with the ¹H‐NMR spectrum. Furthermore, it is impossible that the t‐butoxy radicals would have initiated the oligomerization. The intense ESR spectra observed during the reaction at 130°C are due to the diradicals of oligomeric diphenylbutadiyne. It was concluded that the oligomerization proceeds via coupling of diradicals, and not the successive addition of radicals to monomers. The purified product oligomers did not contain carbonyl groups indicating there was no oxidation, and their ESR spectra have revealed that these oligomers contained a substantial amount of living free radicals stable in air at room temperature. The reason why high polymers are not obtained is the steric effect of oligomeric diradicals for coupling, as well as probable cyclization.     

Construction of acetate-bridged dicopper(II) hybrid organic–inorganic networks with calix[4]arene-derived nitrogenous ligands

The reactions of mono-, bis- and tetrapicolyl-p-tert-butylcalix[4]arene derivatives functionalised in the phenolic positions (L ¹ –L ⁴ ) with copper(II) acetate resulted in the formation of discrete complexes or extended coordination polymers. The centrosymmetric dimer [Cu₂(μ-O₂CCH₃)₄(L ¹ )₂] 1, obtained with monodentate L ¹ , has square pyramidal coordination around the copper centres and a cone conformer of monopicolyl-calix[4]arene acting as an axial ligand, with a molecule of acetonitrile hosted within its cavity. The potentially bidentate L ² acts as a monodentate ligand, affording the complex [Cu₂(μ-O₂CCH₃)₄(L ² )₂] 2, which based on spectroscopic and combustion analysis data has a similar coordination sphere around Cu(II). Compound L ³ bridges two dicopper units in the coordination polymer [Cu₂(μ-O₂CCH₃)₄(μ-L ³ )] _n 3, with the calixarene hosting a molecule of tetrahydrofuran. Finally, compound L ⁴ reacts with 4 equivalents of copper(II) acetate, presumably generating a two-dimensional coordination polymer formulated as [{Cu₂(μ-O₂CCH₃)₄}₂(L ⁴ )] 4.     

CO2 sequestration by high initial strength Portland cement pastes

During the formation of pastes, mortar and concretes have been used to capture CO₂. This work presents a methodology to estimate the carbon dioxide (CO₂) sequestered by high strength and sulfate-resistant Portland cement pastes during their early stages of hydration, by Thermogravimetry and Derivative Thermogravimetry. Water to cement ratio equal to 0.50 and 0.70 were evaluated and the captured CO₂ amount was determined through TG/DTG curve data on initial cement mass basis, obtained during accelerated carbonation from the fluid state and accelerated carbonation after a first hydration process. The experiments were performed in a controlled chamber, maintaining the CO₂ content at 20 vol % and the temperature at 25 °C, at different relative humidity (RH) (60 and 80 %) ambient. The procedure allows one to estimate the amount of CO₂ sequestered by the initial cement mass of a given volume of paste, as well as to evaluate the RH and W/C ratio influence on the amount of hydrated formed products, mainly on the Ca(OH)₂, important for CO₂ fixation.     

Reaction of Amines with 8‐MethylthioBODIPY: Dramatic Optical and Laser Response to Amine Substitution

A thorough study of the photophysical and laser properties of 8‐aminoboron dipyrromethene dyes was undertaken to determine the role of amine substitution and spatial disposition on the properties of the dyes. It was found that the fluorescent and laser response varied significantly. Although primary amines give rise to highly fluorescent products at the blue edge of the visible region, secondary amines yield nonfluorescent analogues in polar media. The crystal structures of two analogues are reported and described. Steric hindrance and the higher electron‐releasing ability of the amine favor the formation of a quenching intramolecular charge‐transfer state. Accordingly, boron dipyrromethene derivatives with primary amines exhibited laser emission with efficiencies of up to 44 %. Besides, the more efficient derivative was also the most photostable, leading to a significant improvement in the lasing performance with regard to previously reported 8‐aminoboron dipyrromethene derivatives. An increase in the solvent polarity, and mainly the presence of tertiary cyclic amines, led to a dramatic decrease or even the loss of the laser action.