Öner, G.; Öner, T.; Şentürk, İ. Properties of the Logical Consequence Operation and its relationship With the Independence of Propositional Logic. Ukr. Mat. Zhurn. 2018, 70, 857-864.