Properties of the logical consequence operation and its relationship with the independence of propositional logic

• Дата: 2018
• Автори: Öner, G., Öner, T., Şentürk, İ., Онер, Г., Онер, Т., Сентюрк, І.
• Формат: Стаття
• Мова: Англійська
• Опубліковано: Institute of Mathematics, NAS of Ukraine 2018
• Онлайн доступ: https://umj.imath.kiev.ua/index.php/umj/article/view/1600
• Назва журналу: Ukrains’kyi Matematychnyi Zhurnal

We investigate the properties of the logical consequence operation and the characteristic features of independent sets of formulas. Further, we apply these results to propositional logic. Finally, we show under what conditions the results of addition of a formula to independent sets of formulas and...