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

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

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

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

Автор: Нікітченко М.С., Шкільняк С.С.
Назва: Числення секвенційного типу для перевірки виконуваності в логіках квазіарних предикатів
Видавництво: Київський університет
Рік:
Сторінок: С. 30-38
Тип документу: Стаття
Головний документ: Вісник Київського національного університету імені Тараса Шевченка
Анотація:   Побудовано спеціальні числення для перевірки виконуваності множин формул в чистих першопорядкових логіках квазіарних предикатів - числення виконуваних множин. Проаналізовано застосовність традиційних секвенційних числень та числень виконуваних множин. Для пропонованих числень доведено теореми коректності й повноти.
   Построены специальные исчисления для проверки выполнимости множеств формул в чистых первопорядковых логиках квазиарных предикатов - исчисления выполнимых множеств. Проанализированы применимость традиционных секвенциальных исчислений и исчислений выполнимых множеств. Для предложенных исчислений доказаны теоремы корректности и полноты.
   Special sequent calculi to check satisfiability of sets of formulas in pure first-order logics of quasiarypredicates are constructed. They are called calculi of satisfiable sets. Axioms of the proposed calculi are closed (inconsistent) sets of formulas; inferences rules are forms of decomposition. Applicability of such calculi and traditional sequent calculi are analyzed. In logics of non-deterministic predicates the traditional notion of satisfiability becomes trivial therefore calculi of satisfiable sets are used only for logics of deterministic predicates. Moreover, sequent calculi are built for diff&erent relations of logical consequence both for deterministic and total and partial non-deterministic predicates. For the proposed calculi closedness conditions of sets of formulas and forms of decomposition are described. Soundness and completeness &theorems are proved for the proposed calculi.
  


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



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

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

© 2000-2010 yawd, irishka, levsha,