Properties of the logical consequence operation and its relationship with the independence of propositional logic
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...
Збережено в:
| Дата: | 2018 |
|---|---|
| Автори: | , , , , , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Institute of Mathematics, NAS of Ukraine
2018
|
| Онлайн доступ: | https://umj.imath.kiev.ua/index.php/umj/article/view/1600 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Ukrains’kyi Matematychnyi Zhurnal |
| Завантажити файл: |  |
Репозитарії
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 the union of two independent sets of formulas are also independent,
by using the operation of logical consequence, i.e., we establish a relationship between the logical consequence and the
preservation of independence in propositional logic. |
|---|