Structure-properties correlations in divalent metal phosphonates

Crystalline metal phosphonates may offer acidic sites, structural flexibility and guest molecules (H2O, heterocyclics, etc.) which can act as proton carriers. In addition, some frameworks are also amenable for post‐synthesis modifications in order to enhance desired properties [1,2]. In this work, we present the synthesis and structural characterization of two hydroxyphosphonoacetates hybrids based on magnesium, [Mg5(O3PCHOHCOO)2(HO3PCHOHCOO)2·8H2O] [Mg5(HPAA)2(H1HPAA)2·8H2O], and zinc, [Zn6K(O3PCHOHCOO)4(OH)·6.5H2O] [Zn6K(HPAA)4(OH)·6.5H2O]. Both solids present three-dimensional frameworks and their crystal structures were solved ab initio from X-ray powder diffraction. The proton conductivity of [Zn6K(HPAA)4(OH)·6.5H2O] as well as ammonia derivatives of M(II)(HO3PCHOHCOO)·2H2O [M(II)=Zn, Mg] will be reported and discussed.

CAISL: Simplification Logic for Conditional Attribute Implications

In this work, we present a sound and complete axiomatic system for conditional attribute implications (CAIs) in Triadic Concept Analysis (TCA). Our approach is strongly based on the Simplification paradigm which offers a more suitable way for automated reasoning than the one based on Armstrong’s Axioms. We also present an automated method to prove the derivability of a CAI from a set of CAI s.