Search

Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility relation which is 'stable' with respect to this pre-order. BIST logics are extensions of a logic, BiSKt, which arose in the semantic context of hypergraphs, since a special case of the pre-order can represent the incidence structure of a hypergraph. In this paper we provide, for the first time, a Hilbert-style axiomatisation of BISKt and prove the strong completeness of BiSKt. We go on to prove strong completeness of a class of BIST logics obtained by extending BiSKt by formulas of a certain form. Moreover we show that the finite model property and the decidability hold for a class of BIST logics.

In this study, we examined the relationship between the effect of a zinc coating on protecting carbon steel against biofilm formation in both air and water environments. SS400 carbon steel coupons were covered with a zinc thermal spray coating or copper thermal spray coating. Coated coupons were exposed to either air or water conditions. Following exposure, the surface conditions of each coupon were observed using optical microscopy, and quantitatively analyzed using an x-ray fluorescence analyzer. Debris on the surface of the coupons was used for biofilm analysis including crystal violet staining for quantification, Raman spectroscopic analysis for qualification, and microbiome analysis. The results showed that the zinc thermal spray coating significantly inhibited iron corrosion as well as biofilm formation in both air and water environments. The copper thermal spray coating, however, accelerated iron corrosion in both air and water environments, but accelerated biofilm formation only in a water environment. microbially-influenced-corrosion-related bacteria were barely detected on any coupons, whereas biofilms were detected on all coupons. To summarize these results, electrochemical corrosion is dominant in an air environment and microbially influenced corrosion is strongly involved in water corrosion. Additionally, biofilm formation plays a crucial rule in carbon steel corrosion in both air and water, even though microbially-influenced-corrosion-related bacteria are barely involved in this corrosion.

We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras. We discuss axiomatization and completeness results for several natural classes of such logics. Moreover, we show that an entirely general completeness result is not possible. We study the expressive power of our language, both in comparison with coalgebraic hybrid logics and with existing first-order proposals for special classes of Set-coalgebras (apart from relational structures, also neighbourhood frames and topological spaces). Basic model-theoretic constructions and results, in particular ultraproducts, obtain for the two classes that allow completeness---and in some cases beyond that. Finally, we discuss a basic sequent system, for which we establish a syntactic cut-elimination result.

Previously, we demonstrated that silver nanoparticle-dispersed silane-based coating could inhibit biofilm formation in conditions where seawater was used as a bacterial source and circulated in a closed laboratory biofilm reactor. However, it is still unclear whether the microbiome of a biofilm of silver nanoparticle-dispersed silane-based coating samples (Ag) differs from that of a biofilm of non-dispersed silane-based coating samples (Non-Ag). This study aimed to perform a microbiome analysis of the biofilms grown on the aforementioned coatings using a next-generation sequencing (NGS) technique. For this, a biofilm formation test was conducted by allowing seawater to flow through a closed laboratory biofilm reactor; subsequently, DNAs extracted from the biofilms of Ag and Non-Ag were used to prepare 16S rRNA amplicon libraries to analyze the microbiomes by NGS. Results of the operational taxonomy unit indicated that the biofilms of Non-Ag and Ag comprised one and no phyla of archaea, respectively, whereas Proteobacteria was the dominant phylum for both biofilms. Additionally, in both biofilms, Non-Ag and Ag, Marinomonas was the primary bacterial group involved in early stage biofilm formation, whereas Anaerospora was primarily involved in late-stage biofilm formation. These results indicate that silver nanoparticles will be unrelated to the bacterial composition of biofilms on the surface of silane-based coatings, while they control biofilm formation there.