Öner, G., et al. “Properties of the Logical Consequence Operation and Its Relationship With the Independence of Propositional Logic”. Ukrains’kyi Matematychnyi Zhurnal, vol. 70, no. 6, June 2018, pp. 857-64, https://umj.imath.kiev.ua/index.php/umj/article/view/1600.