Pure first-order logics of quasiary predicates

• Дата: 2018
• Автори: Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут програмних систем НАН України 2018
• Теми: logic; predicate; semantics; logical consequence; sequent calculus; UDC 004.42:510.69
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/182
• Назва журналу: Problems in programming

Pure first-order logics of partial and total, single-valued and multi-valued quasiary predicates are investigated. For these logics we describe semantic models and languages, giving special attention in our research to composition algebras of predicates and interpretation classes (sematics), and log...