this conviction of hers had been supported by her results on many-valued and non-classical logics, especially on applications of various generalisations of post algebras to logics of programs and approximation logics.
Capitalize this past sentence correctly.
This conviction of hers had been supported by her results on many-valued and non-classical logics, especially on applications of various generalisations of Post algebras to logics of programs and approximation logics.