Головна сторiнка
eng
Наукова бібліотека ім. М. Максимовича UNDP in Ukraine
Увага! Відтепер можна отримати пластиковий читацький квиток також за адресою:
проспект академіка Глушкова 2, кім. 217.

Подробиці читайте тут.
Список містить (0 документів)
Ваше замовлення (0 книжок)
Перегляд стану та історії замовлень
Допомога

Назад Новий пошук

Опис документа:

Автор: Шкільняк С.С.
Назва: Секвенційні числення логік часткових та неоднозначних квазіарних предикатів
Видавництво: ВПЦ "Київський університет"
Рік:
Сторінок: С. 231-236
Тип документу: Стаття
Головний документ: Вісник Київського національного університету імені Тараса Шевченка
Анотація:   Для різних відношень логічного наслідку в чистих першопорядкових композиційно-номінативних логіках часткових і логіках неоднозначних квазіарних предикатів побудовано спеціальні секвенційні числення. При побудові використано спеціальні предикати, які визначають наявність значення для змінних. Для цих числень доведено теореми коректності й повноти
   We construct special sequent calculi for various relations of pure first-order composition-nominative logics of partial and of logics of multi-valued quasiarypredicates. Special variable definedness predicates are used for the construction. For the proposed calculi soundness and completeness theorems are proved



Пошук: заповніть хоча б одне з полів


Шукати серед складових частин документу "Вісник Київського національного університету імені Тараса Шевченка"
Розділ:
Назва:
Будь ласка, пишіть 2-3 слова з назви БЕЗ ЗАКІНЧЕНЬ!
Так імовірніше знайти потрібний документ!
слова не коротші ніж 3 символів, розділені пробілами
Автор:
Будь ласка, пишіть прізвище автора без ініціалів!
не коротше ніж 2 символи
є повний текст
Рік видання:
Видавництво:
з     по  
Види документів:
 Книга  Брошура  Конволют (штучно створена збірка)  Рідкісне видання
 Автореферат  Дисертація
 Журнал  Газета
 Стаття  Складова частина документа
Новий тематичний пошук
       
      
        
Цей сайт створено за спiльною програмою UNDP та
Київського нацiонального унiверситету iменi Тараса Шевченка
проект УКР/99/005

© 2000-2010 yawd, irishka, levsha, alex