Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності

Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності

Досліджено нові програмно-орієнтовані логіки часткових предикатів з операцією (композицією) предикатного доповнення, такі логіки названо LC. Для першопорядкових LC запропоновано низку відношень логічного наслідку та відношень логічного наслідку за умови невизначеності. Досліджено властивості цих від...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2019
Автор: Шкільняк, C.С.
Формат: Стаття
Мова:Ukrainian
Опубліковано: Інститут програмних систем НАН України 2019
Назва видання:Проблеми програмування
Теми:
Теоретичні та методологічні основи програмування
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/161495
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності / C.С. Шкільняк // Проблеми програмування. — 2019. — № 3. — С. 28-44. — Бібліогр.: 10 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-161495
record_format dspace
spelling irk-123456789-1614952019-12-12T01:26:46Z Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності Шкільняк, C.С. Теоретичні та методологічні основи програмування Досліджено нові програмно-орієнтовані логіки часткових предикатів з операцією (композицією) предикатного доповнення, такі логіки названо LC. Для першопорядкових LC запропоновано низку відношень логічного наслідку та відношень логічного наслідку за умови невизначеності. Досліджено властивості цих відношень, встановлено співвідношення між ними. Для відношень типів |=T та |=F доведено теорему про елімінацію умов невизначеності. Для запропонованих відношень описано умови їх гарантованої наявності, наведено властивості декомпозиції формул та елімінації кванторів. В работе исследованы новые программно-ориентированные логические формализмы – композиционно-номинативные логики с предикатами равенства и композицией предикатного дополнения, такие логики названы LCE. Можно выделить предикаты слабого равенства и строгого равенства. Отсюда получаем LCE с предикатами слабого равенства, их назовем LCEw, и LCE с предикатами строгого равенства, их назовем LCEs. LCE можно рассматривать на первопорядковом уровне и реноминативном уровне. Рассмотрены композиционные алгебры LCE, исследованы свойства их композиций, описаны первопорядковые языки этих логик. Основное внимание сосредоточено на исследовании свойств, связанных с предикатами равенства и композицией предикатного дополнения. Введен и исследован ряд отношений логического следствия в первопорядковых LCE, рассмотрены их особенности. В частности, установлена определенная вырожденность LCEw, для которой корректным оказывается только отношение неопровержимого логического следствия в условиях неопределенности. Подробное исследование в LCE отношений логического следствия в условиях неопределенности будет проведено в последующих роботах. Свойства отношений логического следствия в LСE является семантической основой построения соответствующих исчислений секвенциального типа. Такое построения тоже планируется осуществить в последующих роботах. Development of the new software-oriented logical formalisms is a topical problem. The paper introduces logics of partial predicates with predicate complement and equality predicates, we denote them LCE. They extend logics of quasiary predicates with equality and logics with predicate complement. The composition of the predicate complement is used in Floyd-Hoare program logics’ extensions on the class of partial predicates. We define predicates of weak equality and of strong equality. Thus, LCE with predicates of weak equality (denoted by LCEw) and LCE with predicates of strong equality (denoted by LCEs) can be specified. LCE can be studied on the first order and renominative levels. We consider composition algebras of LCE, investigate properties of their compositions and describe first order languages of such logics. We concentrate on the properties related to the equality predicates and the composition of the predicate complement. 2019 Article Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності / C.С. Шкільняк // Проблеми програмування. — 2019. — № 3. — С. 28-44. — Бібліогр.: 10 назв. — укр. 1727-4907 DOI: https://doi.org/10.15407/pp2019.03.028 http://dspace.nbuv.gov.ua/handle/123456789/161495 004.42:510.69 uk Проблеми програмування Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Ukrainian
topic Теоретичні та методологічні основи програмування
Теоретичні та методологічні основи програмування
spellingShingle Теоретичні та методологічні основи програмування
Теоретичні та методологічні основи програмування
Шкільняк, C.С.
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
Проблеми програмування
description Досліджено нові програмно-орієнтовані логіки часткових предикатів з операцією (композицією) предикатного доповнення, такі логіки названо LC. Для першопорядкових LC запропоновано низку відношень логічного наслідку та відношень логічного наслідку за умови невизначеності. Досліджено властивості цих відношень, встановлено співвідношення між ними. Для відношень типів |=T та |=F доведено теорему про елімінацію умов невизначеності. Для запропонованих відношень описано умови їх гарантованої наявності, наведено властивості декомпозиції формул та елімінації кванторів.
format Article
author Шкільняк, C.С.
author_facet Шкільняк, C.С.
author_sort Шкільняк, C.С.
title Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
title_short Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
title_full Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
title_fullStr Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
title_full_unstemmed Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
title_sort першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
publisher Інститут програмних систем НАН України
publishDate 2019
topic_facet Теоретичні та методологічні основи програмування
url http://dspace.nbuv.gov.ua/handle/123456789/161495
citation_txt Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності / C.С. Шкільняк // Проблеми програмування. — 2019. — № 3. — С. 28-44. — Бібліогр.: 10 назв. — укр.
series Проблеми програмування
work_keys_str_mv AT škílʹnâkcs peršoporâdkovikompozicíjnonomínativnílogíkizpredikatamislabkoítastrogoírívností
first_indexed 2023-06-10T11:11:35Z
last_indexed 2023-06-10T11:11:35Z
_version_ 1796154679657234432

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