Зображення обкладинки

Relations of logical consequence in logics of partial predicates with composition of predicate complement

In this paper we study software-oriented logics of partial predicates with new special non-monotonic operation (composition) of the predicate complement. We denote these logics by LC and composition of the predicate complement by . Such operations are used in various versions of the Floyd-Hoare prog...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в:PROBLEMS IN PROGRAMMING
Дата:2019
Випуск:3
Сторінки:11-27
ISSN:1727-4907
Автори та афіліації:
  • O.S. Shkilniak — Kiev Taras Shevchenko National University
Ключові слова:логічний наслідок, композиційно-номінативна логіка, логіка, частковий предикат, композиційна алгебра, багатозначна логіка, логічна операція, алгебра функцій і предикатів, логічна згортка, логічний аналіз
Автор: Shkilniak, O.S.
Формат: Стаття
Мова:Українська
Опубліковано: PROBLEMS IN PROGRAMMING 2019
Теми:
logic
partial predicate
composition al­gebra
logical consequence
UDC 004.42:510.69
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/364
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

Problems in programming

Схожі ресурси

Схожі ресурси