ÖnerG., ÖnerT., 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.