Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення

Досліджено нові класи програмно-орієнтованих логік – чисті першопорядкові логіки часткових квазіарних предикатів з розширеними реномінаціями та композицією предикатного доповнення. Описано відношення логічного наслідку в таких логіках, для цих відношень побудовано числення секвенційного типу. Наведе...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-180464
record_format	dspace
spelling	irk-123456789-1804642021-09-30T01:26:46Z Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. Теоретичні та методологічні основи програмування Досліджено нові класи програмно-орієнтованих логік – чисті першопорядкові логіки часткових квазіарних предикатів з розширеними реномінаціями та композицією предикатного доповнення. Описано відношення логічного наслідку в таких логіках, для цих відношень побудовано числення секвенційного типу. Наведено базові секвенційні форми цих числень та умови замкненості секвенцій. Для пропонованих числень доведено теореми коректності, теореми про існування контрмоделей та теореми повноти. Исследованы новые классы программно-ориентированных логик – чистые первопорядковые логики частичных квазиарных предикатов с расширенными реноминациями и композицией предикатного дополнения. Описаны отношення логического следствия в таких логиках, для этих отношений построены исчисления секвенциального типа. Приведены базовые секвенциальные формы этих исчислений и условия замкнутости секвенций. Для предложенных исчислений доказаны теоремы корректности, теоремы о существовании контрмоделей и теоремы полноты. We study new classes of program-oriented logical formalisms – pure first-order logics of quasiary predicates with extended renominations and a composition of predicate complement. For these logics, various logical consequence relations are specified and corresponding calculi of sequent type are constructed. We define basic sequent forms for the specified calculi and closeness conditions. The soundness, completeness, and counter-model existence theorems are proved for the introduced calculi 2020 Article Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2020. — № 2-3. — С. 182-197. — Бібліогр.: 12 назв. — укр. 1727-4907 DOI; https://doi.org/10.15407/pp2020.02-03.184 http://dspace.nbuv.gov.ua/handle/123456789/180464 004.42:510.69 uk Проблеми програмування Інститут програмних систем НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Ukrainian
topic	Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування
spellingShingle	Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С. Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення Проблеми програмування
description	Досліджено нові класи програмно-орієнтованих логік – чисті першопорядкові логіки часткових квазіарних предикатів з розширеними реномінаціями та композицією предикатного доповнення. Описано відношення логічного наслідку в таких логіках, для цих відношень побудовано числення секвенційного типу. Наведено базові секвенційні форми цих числень та умови замкненості секвенцій. Для пропонованих числень доведено теореми коректності, теореми про існування контрмоделей та теореми повноти.
format	Article
author	Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С.
author_facet	Нікітченко, М.С. Шкільняк, О.С. Шкільняк, С.С.
author_sort	Нікітченко, М.С.
title	Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
title_short	Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
title_full	Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
title_fullStr	Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
title_full_unstemmed	Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
title_sort	секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
publisher	Інститут програмних систем НАН України
publishDate	2020
topic_facet	Теоретичні та методологічні основи програмування
url	http://dspace.nbuv.gov.ua/handle/123456789/180464
citation_txt	Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2020. — № 2-3. — С. 182-197. — Бібліогр.: 12 назв. — укр.
series	Проблеми програмування
work_keys_str_mv	AT níkítčenkoms sekvencíjníčislennâperšoporâdkovihlogíkčastkovihpredikatívzrozširenimirenomínacíâmitakompozicíêûpredikatnogodopovnennâ AT škílʹnâkos sekvencíjníčislennâperšoporâdkovihlogíkčastkovihpredikatívzrozširenimirenomínacíâmitakompozicíêûpredikatnogodopovnennâ AT škílʹnâkss sekvencíjníčislennâperšoporâdkovihlogíkčastkovihpredikatívzrozširenimirenomínacíâmitakompozicíêûpredikatnogodopovnennâ
first_indexed	2023-10-18T22:50:04Z
last_indexed	2023-10-18T22:50:04Z
_version_	1796156556357664768

Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення

Репозитарії

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