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

Special relations of logical consequence in logics of quasi-ary predicates

We introduce and study X–Y-valued relations of logical consequence for first-order composition-nominative logics of partial single-valued, total multiple-valued and partial multiple-valued predicates. A number of properties of the defined relations is obtained, particularly the properties of quantif...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в:PROBLEMS IN PROGRAMMING
Дата:2025
Випуск:4
Сторінки:36-48
ISSN:1727-4907
Автори та афіліації:
  • S.S. Shkilniak — Kiev Taras Shevchenko National University
Ключові слова:композиційно-номінативна логіка, логічний наслідок, логіко-семантичне представлення, квазіарний предикат, композиційно-номінативні мови, логіка, частковий предикат, багатозначна логіка, predicativity, generalized derivative
Автор: Shkilniak, S.S.
Формат: Стаття
Мова:Українська
Опубліковано: PROBLEMS IN PROGRAMMING 2025
Теми:
UDC 004.42:510.69
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/824
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

Problems in programming
Опис
Резюме:We introduce and study X–Y-valued relations of logical consequence for first-order composition-nominative logics of partial single-valued, total multiple-valued and partial multiple-valued predicates. A number of properties of the defined relations is obtained, particularly the properties of quantifier elimination. Such properties will be the basis for construction of corresponding sequent calculi.Prombles in programming 2011; 4: 36-48
ISSN:1727-4907

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