Reasoning about proof and knowledge

In previous work [15], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, belief and knowledge. Deviating from Gödel's interpretation of IPC in S4, our modal systems contain IPC in the way established in [13]. The modal operator can be viewed as a predicate for intuitionistic truth, i.e. proof. Epistemic principles are partially adopted from Intuitionistic Epistemic Logic IEL [4]. In the present paper, we show that the S5-style systems of our hierarchy correspond to an extended Brouwer–Heyting–Kolmogorov interpretation and are complete w.r.t. a relational semantics based on intuitionistic general frames. In this sense, our S5-style logics are adequate and complete systems for the reasoning about proof combined with belief or knowledge. The proposed relational semantics is a uniform framework in which also IEL can be modeled. Verification-based intuitionistic knowledge formalized in IEL turns out to be a special case of the kind of knowledge described by our S5-style systems.     

Experimental Evidence for the Incorporation of Two Metals at Equivalent Lattice Positions in Mixed-Metal Metal–Organic Frameworks

Metal–organic frameworks containing multiple metals distributed over crystallographically equivalent framework positions (mixed-metal MOFs) represent an interesting class of materials, since the close vicinity of isolated metal centers often gives rise to synergistic effects. However, appropriate characterization techniques for detailed investigations of these mixed-metal metal–organic framework materials, particularly addressing the distribution of metals within the lattice, are rarely available. The synthesis of mixed-metal FeCuBTC materials in direct syntheses proved to be difficult and only a thorough characterization using various techniques, like powder X-ray diffraction, X-ray absorption spectroscopy and electron paramagnetic resonance spectroscopy, unambiguously evidenced the formation of a mixed-metal FeCuBTC material with HKUST-1 structure, which contained bimetallic Fe−Cu paddlewheels as well as monometallic Cu−Cu and Fe−Fe units under optimized synthesis conditions. The in-depth characterization showed that other synthetic procedures led to impurities, which contained the majority of the applied iron and were impossible or difficult to identify using solely standard characterization techniques. Therefore, this study shows the necessity to characterize mixed-metal MOFs extensively to unambiguously prove the incorporation of both metals at the desired positions. The controlled positioning of metal centers in mixed-metal metal–organic framework materials and the thorough characterization thereof is particularly important to derive structure–property or structure–activity correlations.     

QUANTIS: Data quality assessment tool by clustering analysis

Automatically generated kinetic networks are ideally validated against a large set of accurate, reproducible, and easy-to-model experimental data. However, although this might seem simple, it proves to be quite challenging. QUANTIS, a publicly available Python package, is specifically developed to evaluate both the precision and accuracy of experimental data and to ensure a uniform, quick processing, and storage strategy that enables automated comparison of developed kinetic models. The precision is investigated with two clustering techniques, PCA and t-SNE, whereas the accuracy is probed with checks for the conservation laws. First, the developed tool processes, evaluates, and stores experimental yield data automatically. All data belonging to a given experiment, both unprocessed and processed, are stored in the form of an HDF5 container. The demonstration of QUANTIS on three different pyrolysis cases showed that it can help in identifying and overcoming instabilities in experimental datasets, reduce mass and molar balance closure discrepancies, and, by evaluating the visualized correlation matrices, increase understanding in the underlying reaction pathways. Inclusion of all experimental data in the HDF5 file makes it possible to automate simulating the experiment with CHEMKIN. Because of the employed InChI string identifiers for molecules, it is possible to automate the comparison experiment/simulation. QUANTIS and the concepts demonstrated therein is a potentially useful tool for data quality assessment, kinetic model validation, and refinement.     

Stereochemistry-Controlled Supramolecular Architectures of New Tetrahydroxy-Functionalised Amphiphilic Carbocyanine Dyes

The syntheses of novel amphiphilic 5,5′,6,6′-tetrachlorobenzimidacarbocyanine (TBC) dye derivatives with aminopropanediol head groups, which only differ in stereochemistry (chiral enantiomers, meso form and conformer), are reported. For the achiral meso form, a new synthetic route towards asymmetric cyanine dyes was established. All compounds form J aggregates in water, the optical properties of which were characterised by means of spectroscopic methods. The supramolecular structure of the aggregates is investigated by means of cryo-transmission electron microscopy, cryo-electron tomography and AFM, revealing extended sheet-like aggregates for chiral enantiomers and nanotubes for the mesomer, respectively, whereas the conformer forms predominately needle-like crystals. The experiments demonstrate that the aggregation behaviour of compounds can be controlled solely by head group stereochemistry, which in the case of enantiomers enables the formation of extended hydrogen-bond chains by the hydroxyl functionalities. In case of the achiral meso form, however, such chains turned out to be sterically excluded.     

Spirocyclic bisphenoxides of Ge,Zr, and Sn as catalysts for ring-expansion polymerizations of l- and meso-lactide

Spirocyclic phenoxides of germanium, zirconium, and tin were prepared from 2,2′-dihydroxybiphenyl and 2,2′-dihydroxy-1,1′-binaphthyl. Ring-expansion polymerizations of l -lactide are mainly studied at 160 or 180 °C. The reactivity of the catalysts increases in the order: Zr < Ge < Sn. Regardless of catalyst, the weight-average molecular weights (M_w) never exceed 50,000 g mol⁻¹. The resulting poly(l -lactide)s are optically pure and have a cyclic architecture. Decreasing temperature and time favor formation of even-numbered cycles, and at 102° cyclics, almost free of odd-numbered rings are obtained. Analogous polymerizations of meso-lactide give similar results >120 °C, but different results at 100 or 80 °C. Surprisingly, bell-shaped narrow molecular weight distributions are obtained <140 °C, resembling the pattern of living polymerizations found for alcohol-initiated polymerizations. An unusual transesterification mechanism yielding narrow distributions of odd-numbered cycles is discovered too. © 2018 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2018 , 56, 2730–2738