Логики квазиарных предикатов первого порядка

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

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2010
Автор: Шкильняк, С.С.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2010
Назва видання:Кибернетика и системный анализ
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/45645
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Логики квазиарных предикатов первого порядка / С.С. Шкильняк // Кибернетика и системный анализ. — 2010. — № 6. — С. 32–50. — Бібліогр.: 15 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-45645
record_format dspace
spelling irk-123456789-456452013-06-18T03:06:40Z Логики квазиарных предикатов первого порядка Шкильняк, С.С. Кибернетика Досліджуються композиційно-номінативні логіки квазіарних предикатів. Розглянуто спектр композиційно-номінативних логік, описано класи першопорядкових логік квазіарних предикатів. Для загального випадку логік квазіарних предикатів кванторного рівня побудовано числення секвенційного типу, доведені його коректність і повнота. Composition nominative logics of quasi-ary predicates are studied in the paper. The spectrum of composition nominative logics is considered and various classes of first-order logics of quasi-ary predicates are specified. Sequent calculi are constructed for the general case of logics of quasi-ary predicates of quantifier level, and soundness and completeness theorems are proved. 2010 Article Логики квазиарных предикатов первого порядка / С.С. Шкильняк // Кибернетика и системный анализ. — 2010. — № 6. — С. 32–50. — Бібліогр.: 15 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45645 004.4 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Кибернетика
Кибернетика
spellingShingle Кибернетика
Кибернетика
Шкильняк, С.С.
Логики квазиарных предикатов первого порядка
Кибернетика и системный анализ
description Досліджуються композиційно-номінативні логіки квазіарних предикатів. Розглянуто спектр композиційно-номінативних логік, описано класи першопорядкових логік квазіарних предикатів. Для загального випадку логік квазіарних предикатів кванторного рівня побудовано числення секвенційного типу, доведені його коректність і повнота.
format Article
author Шкильняк, С.С.
author_facet Шкильняк, С.С.
author_sort Шкильняк, С.С.
title Логики квазиарных предикатов первого порядка
title_short Логики квазиарных предикатов первого порядка
title_full Логики квазиарных предикатов первого порядка
title_fullStr Логики квазиарных предикатов первого порядка
title_full_unstemmed Логики квазиарных предикатов первого порядка
title_sort логики квазиарных предикатов первого порядка
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
publishDate 2010
topic_facet Кибернетика
url http://dspace.nbuv.gov.ua/handle/123456789/45645
citation_txt Логики квазиарных предикатов первого порядка / С.С. Шкильняк // Кибернетика и системный анализ. — 2010. — № 6. — С. 32–50. — Бібліогр.: 15 назв. — рос.
series Кибернетика и системный анализ
work_keys_str_mv AT škilʹnâkss logikikvaziarnyhpredikatovpervogoporâdka
first_indexed 2023-10-18T18:03:30Z
last_indexed 2023-10-18T18:03:30Z
_version_ 1796143199790563328