Searched for: author%3A%22Liang%2C+Fei%22
(1 - 3 of 3)
document
Teo, Ying Shen (author), Jafari, Iman (author), Liang, Fei (author), Jung, Youmi (author), van der Hoek, J.P. (author), Ong, Say Leong (author), Hu, Jiangyong (author)
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...
journal article 2022
document
Greco, Giuseppe (author), Liang, Fei (author), Manoorkar, Krishna (author), Palmigiano, A. (author)
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...
journal article 2019
document
Greco, Giuseppe (author), Liang, Fei (author), Palmigiano, A. (author), Rivieccio, Umberto (author)
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...
journal article 2019