Спеціальні відношення логічного наслідку в логіках квазіарних предикатів

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

Повний опис

Збережено в:

Бібліографічні деталі
Видавець:	Інститут програмних систем НАН України
Дата:	2011
Автор:	Шкільняк, С.С.
Мова:	Ukrainian
Опубліковано:	Інститут програмних систем НАН України 2011
Теми:	Теоретичні та методологічні основи програмування
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/50997
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Цитувати:	Спеціальні відношення логічного наслідку в логіках квазіарних предикатів / С.С. Шкільняк // Пробл. програмув. — 2011. — № 4. — С. 36-48. — Бібліогр.: 5 назв. — укр.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-50997
record_format	dspace
spelling	irk-123456789-509972013-11-09T03:08:07Z Спеціальні відношення логічного наслідку в логіках квазіарних предикатів Шкільняк, С.С. Теоретичні та методологічні основи програмування Для першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів запропоновано і досліджено Х–Y-означені відношення логічного наслідку. Отримано низку властивостей цих відношень у різних семантиках, зокрема, властивості елімінації кванторів. Такі властивості ляжуть в основу побудови відповідних числень секвенційного типу. 2011 Спеціальні відношення логічного наслідку в логіках квазіарних предикатів / С.С. Шкільняк // Пробл. програмув. — 2011. — № 4. — С. 36-48. — Бібліогр.: 5 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/50997 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	Для першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів запропоновано і досліджено Х–Y-означені відношення логічного наслідку. Отримано низку властивостей цих відношень у різних семантиках, зокрема, властивості елімінації кванторів. Такі властивості ляжуть в основу побудови відповідних числень секвенційного типу.
author	Шкільняк, С.С.
author_facet	Шкільняк, С.С.
author_sort	Шкільняк, С.С.
title	Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
title_short	Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
title_full	Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
title_fullStr	Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
title_full_unstemmed	Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
title_sort	спеціальні відношення логічного наслідку в логіках квазіарних предикатів
publisher	Інститут програмних систем НАН України
publishDate	2011
topic_facet	Теоретичні та методологічні основи програмування
url	http://dspace.nbuv.gov.ua/handle/123456789/50997
citation_txt	Спеціальні відношення логічного наслідку в логіках квазіарних предикатів / С.С. Шкільняк // Пробл. програмув. — 2011. — № 4. — С. 36-48. — Бібліогр.: 5 назв. — укр.
work_keys_str_mv	AT škílʹnâkss specíalʹnívídnošennâlogíčnogonaslídkuvlogíkahkvazíarnihpredikatív
first_indexed	2023-10-18T18:15:35Z
last_indexed	2023-10-18T18:15:35Z
_version_	1796143731725828096

Спеціальні відношення логічного наслідку в логіках квазіарних предикатів

Репозиторії

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