Investigation of the efficacy of the UV/Chlorine process for the removal of trimethoprim: Effects of operational parameters and artificial neural networks modelling

The UV/Cl2 process (also known as chlorine photolysis, which is the combination of chlorine and simultaneous irradiation of UV light) is conventionally applied at acidic mediums for drinking water treatment and further treatment of wastewater effluents for secondary reuse. This is because the quantum yield of HO• from HOCl (ϕHO•, 254 = 1.4) is...

Bilattice logic properly displayed

We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and cut elimination. Our proposal builds on the product representation of bilattices and applies the guidelines of the multi-type methodology in the design of display...

Proper Multi-Type Display Calculi for Rough Algebras

In the present paper, we endow the logics of topological quasi Boolean algebras, topological quasi Boolean algebras 5, intermediate algebras of types 1-3, and pre-rough algebras with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic...