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

Relations of logical consequence in composition nominative logics

Semantic properties of composition nominative logics of partial single-valued, total and partial ambiguous predicates of propositional, renominative and quantifier levels are studied. Relations of logical consequence for pairs and sets of formulas, and relations of logical equivalence are investigat...

Повний опис

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

Репозитарії

Problems in programming

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

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