G. Öner, T. Öner, and İ. Şentürk, “Properties of the logical consequence operation and its relationship with the independence of propositional logic”, Ukr. Mat. Zhurn., vol. 70, no. 6, pp. 857–864, Jun. 2018, Accessed: Dec. 05, 2025. [Online]. Available: https://umj.imath.kiev.ua/index.php/umj/article/view/1600