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

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

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

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

Автор: Нікітченко М.С., Шкільняк О.С., Шкільняк С.С.
Назва: Двозначні та багатозначні композиційно-номінативні логіки
Рік:
Сторінок: С. 199-206
Тип документу: Стаття
Головний документ: Вісник Київського національного університету імені Тараса Шевченка
Анотація:   Досліджено композиційно номінативні логіки часткових однозначних, тотальних неоднозначних і часткових неоднозначних квазіарних предикатів на пропозиційному, реномінативному та кванторному рівнях. Встановлено зв"язки між цими логіками та 3-значними і 4-значними логіками однозначних предикатів, зокрема, сильною логікою Кліні та логікою Белнапа.
   Composition-nominative logics of partial single-valued, total multi-valued, and partial multi-valued quasiary predicates are investigated on propositional, renominative, and quantifier levels. The connection of these logics with 3-valued and 4-valued logics of single-valued predicates, in particular, with Kleene"s strong logic and the logic of Belnap are formulated.


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



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

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

© 2000-2010 yawd, irishka, levsha,