Composition-nominative logics of free-quantifier levels

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

Free-quantifier composition nominative logics of partial quasiary predicates are considered. We specify the following levels of these logics: renominative, renominative with predicates of weak equality, renominative with predicates of strong equality, free-quantifier, free-quantifier with compositio...