[1]
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.