Зведений каталог бібліотек Києва

 

ШкільнякссШкільняк, С. С.
    Спеціальні секвенційні числення логік однозначних квазіарних предикатів [Текст] / С.С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка. — Київ, 2014. — 2014. — С. 279-284.


- Ключові слова:

логіка предикатів, логика предикатов, predicate logic ; секвенціальні обчислення, секвенциальные исчисления

- Анотація:

Для відношень істиннісного, хибнісного і сильного логічного наслідку композиційно-номінативних логік однозначних квазіарних предикатів побудовано спеціальні секвенційні числення. Для такої побудови використано спеціальні предикати, які визначають наявність значення для змінних. Доведено коректність і повноту цих числень.

We construct special sequent calculi for relations of true-valued, false-valued and strong logical consequence of composition-nominative logics of single-valued quasiary predicates. Special variable definedness predicates are used for the construction. The soundness and completeness of these calculi are proved.

- Є складовою частиною документа:

- Теми документа

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт