2025-02-23T08:54:43-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-50997%22&qt=morelikethis&rows=5

2025-02-23T08:54:43-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-50997%22&qt=morelikethis&rows=5

2025-02-23T08:54:43-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK

2025-02-23T08:54:43-05:00 DEBUG: Deserialized SOLR response

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

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

Full description

Saved in:

Bibliographic Details
Main Author:	Шкільняк, С.С.
Language:	Ukrainian
Published:	Інститут програмних систем НАН України 2011
Subjects:	Теоретичні та методологічні основи програмування
Online Access:	http://dspace.nbuv.gov.ua/handle/123456789/50997
Tags:	Add Tag No Tags, Be the first to tag this record!

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

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

Similar Items