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

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

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

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

Автор: Нікітченко М., Шкільняк С.
Назва: Композиційно-нормативні логіки кванторно-екваційного рівня
Видавництво: ВПЦ "Київський університет"
Рік:
Сторінок: С. 32-40
Тип документу: Стаття
Головний документ: Вісник Київського національного університету імені Тараса Шевченка
Анотація:   Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів кванторно-екваційного рівня. Наведено основні семантичні властивості таких логік, зокрема, властивості Х-Y-означеного відношення логічного наслідку. На цій основі для загального випадку логік квазіарних предикатів побудовано числення секвенційного типу, для таких числень доведено теореми коректності та повноти.
   First-order composition-nominative logics of quasi-ary predicates of quantifier level are studied. We define basic semantic properties of the introduced logics, particularly the properties of the Х-Y-valued relation of logical consequence. On this basis we construct sequent calculi for the general case of logics of quasi-ary predicates; for such calculi soundness and completeness are proved.


З 31.12.2014 по 01.03.2015 Наукова бібліотека
читачів не обслуговує.



Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин

Цей сайт створено за спiльною програмою UNDP та
Київського нацiонального унiверситету iменi Тараса Шевченка
проект УКР/99/005

© 2000-2010 yawd, irishka, levsha, alex