Öner G, Öner T, Şentürk İ. Properties of the logical consequence operation and its relationship with the independence of propositional logic. Ukr. Mat. Zhurn. [Internet]. 2018Jun.25 [cited 2024Apr.25];70(6):857-64. Available from: https://umj.imath.kiev.ua/index.php/umj/article/view/1600