Повнота секвенційних числень модальних логік немонотонних часткових предикатів

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

Full description

Saved in:
Bibliographic Details
Published in:Штучний інтелект
Date:2016
Main Authors: Шкільняк, О.С., Касьянюк, В.С., Малютенко, Л.М.
Format: Article
Language:Ukrainian
Published: Інститут проблем штучного інтелекту МОН України та НАН України 2016
Subjects:
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/132074
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Повнота секвенційних числень модальних логік немонотонних часткових предикатів / О.С. Шкільняк, В.С. Касьянюк, Л.М. Малютенко // Штучний інтелект. — 2016. — № 3. — С. 92-102. — Бібліогр.: 7 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
_version_ 1862567653038620672
author Шкільняк, О.С.
Касьянюк, В.С.
Малютенко, Л.М.
author_facet Шкільняк, О.С.
Касьянюк, В.С.
Малютенко, Л.М.
citation_txt Повнота секвенційних числень модальних логік немонотонних часткових предикатів / О.С. Шкільняк, В.С. Касьянюк, Л.М. Малютенко // Штучний інтелект. — 2016. — № 3. — С. 92-102. — Бібліогр.: 7 назв. — укр.
collection DSpace DC
container_title Штучний інтелект
description Для чистих першопорядкових композиційно-номінативних модальних логік часткових немонотонних предикатів побудовано числення секвенційного типу. Описано різновиди цих числень, для них вказано базові секвенційні форми та умови замкненості секвенцій, доведено їх коректність і повноту. Доведення теореми повноти опирається на теорему про існування контрмоделі для незамкненого шляху в секвенційному дереві, для її побудови використано метод систем модельних множин. In this paper we construct sequent calculi for pure first-order composition nominative modal logics of partial non-monotone predicates. We specify various variants of the introduced calculi, their basic sequent forms and sequent closure conditions. The proof of the completeness theorem is based on the theorem about existence of a counter-model for a non-closed path in a sequent tree; the counter-model is obtained using the Hintikka sets method.
first_indexed 2025-11-26T00:18:50Z
format Article
fulltext
id nasplib_isofts_kiev_ua-123456789-132074
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
issn 1561-5359
language Ukrainian
last_indexed 2025-11-26T00:18:50Z
publishDate 2016
publisher Інститут проблем штучного інтелекту МОН України та НАН України
record_format dspace
spelling Шкільняк, О.С.
Касьянюк, В.С.
Малютенко, Л.М.
2018-04-10T16:09:07Z
2018-04-10T16:09:07Z
2016
Повнота секвенційних числень модальних логік немонотонних часткових предикатів / О.С. Шкільняк, В.С. Касьянюк, Л.М. Малютенко // Штучний інтелект. — 2016. — № 3. — С. 92-102. — Бібліогр.: 7 назв. — укр.
1561-5359
https://nasplib.isofts.kiev.ua/handle/123456789/132074
004.42:510.69
Для чистих першопорядкових композиційно-номінативних модальних логік часткових немонотонних предикатів побудовано числення секвенційного типу. Описано різновиди цих числень, для них вказано базові секвенційні форми та умови замкненості секвенцій, доведено їх коректність і повноту. Доведення теореми повноти опирається на теорему про існування контрмоделі для незамкненого шляху в секвенційному дереві, для її побудови використано метод систем модельних множин.
In this paper we construct sequent calculi for pure first-order composition nominative modal logics of partial non-monotone predicates. We specify various variants of the introduced calculi, their basic sequent forms and sequent closure conditions. The proof of the completeness theorem is based on the theorem about existence of a counter-model for a non-closed path in a sequent tree; the counter-model is obtained using the Hintikka sets method.
uk
Інститут проблем штучного інтелекту МОН України та НАН України
Штучний інтелект
Теорія та засоби обчислювального інтелекту
Повнота секвенційних числень модальних логік немонотонних часткових предикатів
Completeness of sequent calculi for modal logics of non-monotone partial predicates
Article
published earlier
spellingShingle Повнота секвенційних числень модальних логік немонотонних часткових предикатів
Шкільняк, О.С.
Касьянюк, В.С.
Малютенко, Л.М.
Теорія та засоби обчислювального інтелекту
title Повнота секвенційних числень модальних логік немонотонних часткових предикатів
title_alt Completeness of sequent calculi for modal logics of non-monotone partial predicates
title_full Повнота секвенційних числень модальних логік немонотонних часткових предикатів
title_fullStr Повнота секвенційних числень модальних логік немонотонних часткових предикатів
title_full_unstemmed Повнота секвенційних числень модальних логік немонотонних часткових предикатів
title_short Повнота секвенційних числень модальних логік немонотонних часткових предикатів
title_sort повнота секвенційних числень модальних логік немонотонних часткових предикатів
topic Теорія та засоби обчислювального інтелекту
topic_facet Теорія та засоби обчислювального інтелекту
url https://nasplib.isofts.kiev.ua/handle/123456789/132074
work_keys_str_mv AT škílʹnâkos povnotasekvencíinihčislenʹmodalʹnihlogíknemonotonnihčastkovihpredikatív
AT kasʹânûkvs povnotasekvencíinihčislenʹmodalʹnihlogíknemonotonnihčastkovihpredikatív
AT malûtenkolm povnotasekvencíinihčislenʹmodalʹnihlogíknemonotonnihčastkovihpredikatív
AT škílʹnâkos completenessofsequentcalculiformodallogicsofnonmonotonepartialpredicates
AT kasʹânûkvs completenessofsequentcalculiformodallogicsofnonmonotonepartialpredicates
AT malûtenkolm completenessofsequentcalculiformodallogicsofnonmonotonepartialpredicates