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

 

НікітченкоНікітченко, М. С.
    Чисті композиційно-номінативні числення [Текст] / М.С. Нікітченко, С.С. Шкільняк // Вісник Київського університету. — Київ, 2000. — 2000. — С. 290-303.


- Анотація:

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

Axiomatic calculi of composition nominative logics of equitone partial predicate: constructed Soundnexs and completeness of such calculi are proved. The constructed logics can characterized as maximal extensions of classical, logics which preserve their main properties.

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

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

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



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