Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів

Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів

Вивчаються програмно-орієнтовані логічні формалізми – логіки загальних недетермінованих (GND) предикатів. GND-предикати моделюються як 7-значні TD7-предикати. Досліджено девіантні алгебри істиннісних значень (TV-алгебри) TD7-предикатів та девіантні класи GND-предикатів. Девіантна TV-алгебра не інду...

Full description

Saved in:
Bibliographic Details
Published in:Проблеми програмування
Date:2019
Main Author: Шкільняк, О.С.
Format: Article
Language:Ukrainian
Published: Інститут програмних систем НАН України 2019
Subjects:
Теоретичні та методологічні основи програмування
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/150918
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:Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів / О.С. Шкільняк // Проблеми програмування. — 2019. — № 1. — С. 14-26. — Бібліогр.: 11 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-150918
record_format dspace
spelling Шкільняк, О.С.
2019-04-18T20:24:44Z
2019-04-18T20:24:44Z
2019
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів / О.С. Шкільняк // Проблеми програмування. — 2019. — № 1. — С. 14-26. — Бібліогр.: 11 назв. — укр.
1727-4907
DOI: https://doi.org/10.15407/pp2019.01.014
https://nasplib.isofts.kiev.ua/handle/123456789/150918
004.42:510.69
Вивчаються програмно-орієнтовані логічні формалізми – логіки загальних недетермінованих (GND) предикатів. GND-предикати моделюються як 7-значні TD7-предикати. Досліджено девіантні алгебри істиннісних значень (TV-алгебри) TD7-предикатів та девіантні класи GND-предикатів. Девіантна TV-алгебра не індукує алгебру GND-предикатів. Для підмножин істиннісних значень досліджено можливість модифікації ˅* із умовою коректності TFC, що визначає відповідні класи GND-предикатів. Описано природні модифікації ˅* без TFC, що дає низку девіантних TV-алгебр.
Изучаются новые классы программно-ориентированных логических формализмов – логики общих недетерминированных (GND) предикатов. GND-предикаты можно моделировать как 7-значные тотальные детерминированные (ТD7) предикаты. Основное внимание уделено исследованию алгебр истинностных значений (TV-алгебр) TD7-предикатов.
In this paper we study new classes of program-oriented logical formalisms – logics of general non-deterministic (GND) predicates. These logics reflect such properties of programs as nondeterminism, partiality, and non-fixed arity. GND-predicates can be modeled as 7-valued total deterministic (TD7) predicates. The main attention is paid to algebras of truth values (TV-algebras) of TD7-predicates.
uk
Інститут програмних систем НАН України
Проблеми програмування
Теоретичні та методологічні основи програмування
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
Девиантные алгебры истинностных значений и девиантные классы общих недетерминованных предикатов
Deviant truth-values algebras and deviant classes of general non-deterministic predicates
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
spellingShingle Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
Шкільняк, О.С.
Теоретичні та методологічні основи програмування
title_short Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
title_full Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
title_fullStr Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
title_full_unstemmed Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
title_sort девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
author Шкільняк, О.С.
author_facet Шкільняк, О.С.
topic Теоретичні та методологічні основи програмування
topic_facet Теоретичні та методологічні основи програмування
publishDate 2019
language Ukrainian
container_title Проблеми програмування
publisher Інститут програмних систем НАН України
format Article
title_alt Девиантные алгебры истинностных значений и девиантные классы общих недетерминованных предикатов
Deviant truth-values algebras and deviant classes of general non-deterministic predicates
description Вивчаються програмно-орієнтовані логічні формалізми – логіки загальних недетермінованих (GND) предикатів. GND-предикати моделюються як 7-значні TD7-предикати. Досліджено девіантні алгебри істиннісних значень (TV-алгебри) TD7-предикатів та девіантні класи GND-предикатів. Девіантна TV-алгебра не індукує алгебру GND-предикатів. Для підмножин істиннісних значень досліджено можливість модифікації ˅* із умовою коректності TFC, що визначає відповідні класи GND-предикатів. Описано природні модифікації ˅* без TFC, що дає низку девіантних TV-алгебр. Изучаются новые классы программно-ориентированных логических формализмов – логики общих недетерминированных (GND) предикатов. GND-предикаты можно моделировать как 7-значные тотальные детерминированные (ТD7) предикаты. Основное внимание уделено исследованию алгебр истинностных значений (TV-алгебр) TD7-предикатов. In this paper we study new classes of program-oriented logical formalisms – logics of general non-deterministic (GND) predicates. These logics reflect such properties of programs as nondeterminism, partiality, and non-fixed arity. GND-predicates can be modeled as 7-valued total deterministic (TD7) predicates. The main attention is paid to algebras of truth values (TV-algebras) of TD7-predicates.
issn 1727-4907
url https://nasplib.isofts.kiev.ua/handle/123456789/150918
citation_txt Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів / О.С. Шкільняк // Проблеми програмування. — 2019. — № 1. — С. 14-26. — Бібліогр.: 11 назв. — укр.
work_keys_str_mv AT škílʹnâkos devíantníalgebriístinnísnihznačenʹtadevíantníklasizagalʹnihnedetermínovanihpredikatív
AT škílʹnâkos deviantnyealgebryistinnostnyhznačeniiideviantnyeklassyobŝihnedeterminovannyhpredikatov
AT škílʹnâkos devianttruthvaluesalgebrasanddeviantclassesofgeneralnondeterministicpredicates
first_indexed 2025-12-07T16:57:25Z
last_indexed 2025-12-07T16:57:25Z
_version_ 1850869437968678912

Similar Items