Öner, G. et al. 2018. Properties of the logical consequence operation and its relationship with the independence of propositional logic. Ukrains’kyi Matematychnyi Zhurnal. 70, 6 (Jun. 2018), 857–864.