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

dc.contributor.author	Нікітченко, М.С.
dc.contributor.author	Шкільняк, О.С.
dc.contributor.author	Шкільняк, С.С.
dc.date.accessioned	2021-09-29T16:31:05Z
dc.date.available	2021-09-29T16:31:05Z
dc.date.issued	2020
dc.identifier.citation	Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2020. — № 2-3. — С. 182-197. — Бібліогр.: 12 назв. — укр.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.other	DOI; https://doi.org/10.15407/pp2020.02-03.184
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/180464
dc.description.abstract	Досліджено нові класи програмно-орієнтованих логік – чисті першопорядкові логіки часткових квазіарних предикатів з розширеними реномінаціями та композицією предикатного доповнення. Описано відношення логічного наслідку в таких логіках, для цих відношень побудовано числення секвенційного типу. Наведено базові секвенційні форми цих числень та умови замкненості секвенцій. Для пропонованих числень доведено теореми коректності, теореми про існування контрмоделей та теореми повноти.	uk_UA
dc.description.abstract	Исследованы новые классы программно-ориентированных логик – чистые первопорядковые логики частичных квазиарных предикатов с расширенными реноминациями и композицией предикатного дополнения. Описаны отношення логического следствия в таких логиках, для этих отношений построены исчисления секвенциального типа. Приведены базовые секвенциальные формы этих исчислений и условия замкнутости секвенций. Для предложенных исчислений доказаны теоремы корректности, теоремы о существовании контрмоделей и теоремы полноты.	uk_UA
dc.description.abstract	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	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.relation.ispartof	Проблеми програмування
dc.subject	Теоретичні та методологічні основи програмування	uk_UA
dc.title	Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення	uk_UA
dc.title.alternative	Секвенциальные исчисления первопорядкових логик частичных предикатов с расширенными реноминациями и композицией предикатного дополнения	uk_UA
dc.title.alternative	Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.42:510.69