Виникнення та інтерпретація тризначних логік Кліні

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2010
1. Verfasser:	Шишацька, О.В.
Format:	Artikel
Sprache:	Ukrainian
Veröffentlicht:	Інститут програмних систем НАН України 2010
Schlagworte:	Теоретичні та методологічні основи програмування
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/14638
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Виникнення та інтерпретація тризначних логік Кліні / О.В. Шишацька // Пробл. програмув. — 2010. — № 2-3. — С. 72-79. — Бібліогр.: 17 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	nasplib_isofts_kiev_ua-123456789-14638
record_format	dspace
spelling	Шишацька, О.В. 2010-12-27T13:53:32Z 2010-12-27T13:53:32Z 2010 Виникнення та інтерпретація тризначних логік Кліні / О.В. Шишацька // Пробл. програмув. — 2010. — № 2-3. — С. 72-79. — Бібліогр.: 17 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/14638 681.3.062 Розглянуто сильну та слабку тризначні логіки Кліні. Показано виникнення сильної логіки зі звичайної булевої логіки шляхом застосування загальнозначущої конструкції розповсюдження операцій з елементів на множини елементів у термінах повного образу. Проілюстровано компактне задання операцій логіки Кліні трьохелементними ланцюгами. Strong and weak three-valued Kleene logics are considered. The origin of strong logic from ordinary Boolean logic by application of generally valid construction of extension operations from elements on the sets of elements in terms of full image is shown. The compact representation of logic Kleene operations by the three-element chains is illustrated. uk Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Виникнення та інтерпретація тризначних логік Кліні The occurrence and interpretation three-valued the logician Kleene logics 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	2010
language	Ukrainian
publisher	Інститут програмних систем НАН України
format	Article
title_alt	The occurrence and interpretation three-valued the logician Kleene logics
description	Розглянуто сильну та слабку тризначні логіки Кліні. Показано виникнення сильної логіки зі звичайної булевої логіки шляхом застосування загальнозначущої конструкції розповсюдження операцій з елементів на множини елементів у термінах повного образу. Проілюстровано компактне задання операцій логіки Кліні трьохелементними ланцюгами. Strong and weak three-valued Kleene logics are considered. The origin of strong logic from ordinary Boolean logic by application of generally valid construction of extension operations from elements on the sets of elements in terms of full image is shown. The compact representation of logic Kleene operations by the three-element chains is illustrated.
issn	1727-4907
url	https://nasplib.isofts.kiev.ua/handle/123456789/14638
citation_txt	Виникнення та інтерпретація тризначних логік Кліні / О.В. Шишацька // Пробл. програмув. — 2010. — № 2-3. — С. 72-79. — Бібліогр.: 17 назв. — укр.
work_keys_str_mv	AT šišacʹkaov viniknennâtaínterpretacíâtriznačnihlogíkklíní AT šišacʹkaov theoccurrenceandinterpretationthreevaluedthelogiciankleenelogics
first_indexed	2025-11-24T20:38:20Z
last_indexed	2025-11-24T20:38:20Z
_version_	1850495506024759296
fulltext	Теоретичні та методологічні основи програмування © О.В. Шишацька, 2010 72 ISSN 1727-4907. Проблеми програмування. 2010. № 2–3. Спеціальний випуск УДК: 681.3.062 ВИНИКНЕННЯ ТА ІНТЕРПРЕТАЦІЯ ТРИЗНАЧНИХ ЛОГІК КЛІНІ О.В. Шишацька Київський національний університет імені Тараса Шевченка, 03680, Київ, проспект Академіка Глушкова, 2, корп. 6, (044)521 3345, olena74@i.ua Розглянуто сильну та слабку тризначні логіки Кліні. Показано виникнення сильної логіки зі звичайної булевої логіки шляхом застосування загальнозначущої конструкції розповсюдження операцій з елементів на множини елементів у термінах повного образу. Проілюстровано компактне задання операцій логіки Кліні трьохелементними ланцюгами. Strong and weak three-valued Kleene logics are considered. The origin of strong logic from ordinary Boolean logic by application of generally valid construction of extension operations from elements on the sets of elements in terms of full image is shown. The compact representation of logic Kleene operations by the three-element chains is illustrated. Загальні зауваження Робота присвячена сильній та слабкій тризначним логікам Кліні. Ці логіки використовуються в теорії рекурсії [1], (частина III, гл. XII, § 64, с. 296–303); сильна логіка використовується також у системах алгоритмічних алгебр Глушкова [2], (гл. 4 § 4.1, с. 117; § 4.2, табл. 4 на с. 127), сучасних SQL-подібних мовах табличних (реляційних) баз даних (див., наприклад, [3], підрозділ 3.6, с. 169–170) та сучасних мовах специфікацій UML/OCL при роботі з булевим типом, поповненим третім спеціальним значенням (див., наприклад, [4, 5]). Зауважимо, що слабка логіка Кліні виникає шляхом природного розширення в розумінні [6] стандартних булевих операцій, цей підхід повністю відповідає принципам роботи зі спеціальним значенням (UNDEFINED) стандарту об‟єктних баз даних ODMG, зокрема мові запитів OQL [7, 8]. Далі під сильною та слабкою логіками Кліні розумітимено сильну та слабку тризначні логіки Кліні. Виникнення сильної логіки Кліні зі звичайної булевої логіки Застосуємо загальнозначущу конструкцію розповсюдження операцій з елементів на множини елементів у термінах повного образу; саме така конструкція застосовувалася в [3], (підрозділ 1.3, с. 23–24) при дослідженні операцій табличних алгебр, побудованих на основі відомих реляційних алгебр Кодда; загальним властивостям повного образу присвячена робота [9]. Повний образ дозволяє природно поширювати унарні (бінарні) операції на універсумі на булеан універсуму. Позначимо [ ]f унарну тотальну операцію на булеані ( )P D універсуму D , яка індукується частковою операцією f на універсумі і задається рівністю [ ]( ) [ ] def f X f X ; тут і далі [ ] { \| ( ( ))} def f X y x x X y f x     – повний образ множини X щодо операції f , де, з огляду на частковість функції,  – узагальнена рівність. Аналогічно, нехай F – бінарна часткова операція на D; вона також породжує бінарну тотальну операцію [F] на булеані універсуму D, яка задається рівністю [ ]( , ) [ ]. def F X Y F X Y  Застосуємо вказану схему розширення до сигнатурних операцій алгебри стандартної логіки { , }; , ,T F    , де ,T F – логічні значення істини і хибності відповідно. Результат розширення операції кон'юнкції  і заперечення  на булеан ({ , })P T F приведені в таблицях 1, 2 (розширення диз'юнкції будується аналогічно). В таблиці 1 першому аргументу відповідають стовпці, другому аргументу – рядки. Зазначимо, що розширення бінарних операцій комутативні; тому таблиця 1 “симетрична” (щодо головної діагоналі), і зіставлення аргументам стовпців або рядків насправді неістотно. Зауважимо також, що властивості комутативності та асоціативності розширень кон'юнкції і диз'юнкції успадковуються; цей факт випливає із загальних результатів ([3], підрозділ 1.3, твердження 1.3.1, п. 8, с. 24; 9, твердження 5). Оскільки декартів добуток та повний образ зберігають порожню множину, то і операції ][ , ][ , ][ зберігають порожню множину. Саме тому в таблиці 1, наприклад, присутні константні рядок та стовпець, заповнені  . Теоретичні та методологічні основи програмування 73 Таблиця 1. Операція [ ] на булеані ({ , })P T F  { }T { }F { , }T F      }{T  }{T }{F },{ FT }{F  }{F }{F }{F },{ FT  { , }T F }{F },{ FT Таблиця 2. Операція ][ на булеані }),({ FTP аргумент  }{T }{F },{ FT значення  }{F }{T { , }T F Розглянемо відображення }),({},,{: FTPFT  , де  – третє логічне значення логік Кліні (що змістовно інтерпретується як невизначеність): }{)( TT  , }{)( FF  , },{)( FT . Очевидно, що це відображення ін‟єктивно, але не сюр‟єктивно (адже порожня множина не входить в область значень відображення  ). За операціями алгебри сильної логіки Кліні залишимо ті ж позначення, що були введені для операцій алгебри стандартної логіки, вводячи тільки нижній індекс k ; домовимося про однойменні операції: операціям k , k та k співставляються відповідно операції ][ , ][ та ][ . Твердження 1 (побудова алгебри сильної логіки Кліні). Відображення  – однозначний гомоморфізм алгебри сильної логіки Кліні  kkkFT ,,};,,{  в алгебру  ][],[],[});,({ FTP , тобто це відображення є вкладенням алгебри сильної логіки Кліні в алгебру  ][],[],[});,({ FTP . Доведення. Дійсно, замінюючи в таблицях 1–2 значення },{},{},{ FTFT на ,,FT відповідно (згідно відображення  ) і видаляючи константні стовпець і рядок, заповнені значенням  , приходимо до табличного задання операцій сильної кон'юнкції і заперечення алгебри сильної логіки Кліні. Випадок сильної диз‟юнкції розглядається повністю аналогічно. Таким чином, алгебру сильної логіки Кліні можна отримати шляхом застосування до алгебри класичної булевої логіки конструкції розширення (в термінах повного образу) її сигнатурних операцій. Компактне задання операцій сильної логіки Кліні Ідея полягає в переході від алгебри  kkFT ,};,,{  до відповідної структури (решітки) 1 . Справді, безпосередньо перевіряється, що ці сигнатурні операції комутативні, асоціативні та ідемпотентні; крім того виконуються два закони поглинання: xyxx kk  )( та xyxx kk  )( для всіх },,{, FTyx  . Отже, за стандартною процедурою, поклавши yx k def  yxx k (або в еквівалентній формі yxyyx k def k  ), можна перейти до структури, точні грані двохелементних множин якої знаходяться за формулами: yxyx k},inf{ , yxyx k},sup{ (див., наприклад, [10], гл. II, § 8, теорема 3, с. 154). Відношення k в загальному випадку є частковим порядком [10], (гл. II, § 8, теорема 1, с. 151–152). Для конкретного випадку алгебри сильної логіки Кліні воно проілюстровано в таблиці 3 (значенням аргументу x відповідають рядки, значенням аргументу y – стовпці; в наступних таблицях будемо притримуватися цієї ж угоди); знак “+” у комірці означає, що відповідні елементи знаходяться у відношенні, знак “–” – що не знаходяться. 1 На даний момент більш уживаним є термін “решітка”, однак користуватимемося терміном “структура”, оскільки послуговуємося результатами [10], де використовується саме цей термін. Теоретичні та методологічні основи програмування 74 Таблиця 3. Порядок k на { , , }T F  yxx k yxy k yxx k yxy k yxx k yxy k x y T F  T + + - - - - + - - F + + + + + + + + +  + + - - + + + - + F T ω Рис. 1. Лінійний порядок k на множині { , , }T F  Для випадку структури, яка відповідає алгебрі сильної логіки Кліні, її порядок є лінійним (див. рис. 1, побудований на основі табл. 3), а саме TF kk   (для компактності на рис. 1 не наведена одна стрілка, що відновлюється згідно транзитивності, та три петлі, що відповідають рефлексивності порядку). Таким чином, загальна ситуація суттєво спрощується: структура насправді є ланцюгом та yx k є найменшим ( yx k – найбільшим) з елементів yx, для всіх },,{, FTyx  . Аналіз процедури побудови структури (нагадаємо, що yx k  yxx k yxy k ), показує, що лінійність, загалом, часткового порядку забезпечується такою властивістю сильних кон'юнкції та диз'юнкції – },{, yxyxyx kk  для всіх },,{, FTyx  . Сформулюємо загальний результат для комутативних ідемпотентних півгруп. У формулюванні наступного твердження вважаємо відомим зв‟язок між комутативними ідемпотентними півгрупами та нижніми півструктурами. (див., наприклад, [10], гл. II, § 8, теорема 1, с. 151–152). Твердження 2 (критерій лінійності порядку півструктури, побудованої по комутативній ідемнотентній півгрупі). Нехай  ,D – комутативна ідемпотентна півгрупа, а  – частковий порядок відповідної нижньої півструктури, тобто yxxyx def  . Порядок  лінійний (тобто  ,D є ланцюгом) тоді і тільки тоді, коли },{ yxyx  для всіх Dyx , . Доведення. Необхідність. Нехай порядок  лінійний, встановимо належність },{ yxyx  для всіх Dyx , . Нехай yx, – довільні елементи; оскільки порядок лінійний, то yx  або навпаки xy  . У першому випадку yxx  , у другому – xyy  . Оскільки операція комутативна, то в обох випадках виконується належність },{ yxyx  . Достатність. Нехай виконується належність },{ yxyx  для всіх yx, ; покажемо, що порядок лінійний. Нехай yx, – довільні елементи, тоді за припущенням xyx  або yyx  . У першому випадку yx  за означенням порядку, в другому – xy  (дійсно, xyyxy  ). З цього твердження і випливає лінійність порядку структури, асоційованої з алгеброю сильної логіки Кліні. Крім того, те, що структура  kFT };,,{  є ланцюгом, можна показати й іншим елементарним шляхом. Справді, вказана структура скінченна, тобто вона має найменший (нуль) та найбільший (одиницю) елементи, які позначимо 0 , 1k k , відповідно. Оскільки структура трьохелементна, то, очевидно, що kkk 10  та для третього елемента z (тобто елемента, відмінного від найменшого та найбільшого елементів) виконується нерівність kkkk z 10  . Отже, структура  kFT };,,{  є ланцюгом. Теоретичні та методологічні основи програмування 75 Таким чином, можна зробити висновок, що лінійність порядку структури, асоційованої з алгеброю сильної логіки Кліні, випливає, з одного боку, з властивостей операцій (з належностей },{, yxyxyx kk  ), а, з іншого боку, просто з трьохелементності структури. Підкреслимо, що саме трьохелементність тут суттєва, бо кожна n-елементна структура буде ланцюгом при n = 1, 2, 3; що не виконується, загалом, при n 4 (найпростіший приклад – булеан двохелементної множини з стандартним порядком ). У наступному твердженні підсумуємо вищенаведену інформацію про компактне задання операцій сильної логіки Кліні. Твердження 3 (компактне задання бінарних операцій алгебри сильної логіки Кліні). Відношення k перетворює множину },,{ FT на ланцюг (а, значить, і в структуру), причому yx k є найменшим (відповідно, yx k – найбільшим) з елементів yx, для всіх },,{, FTyx  згідно цього (лінійного) порядку. Доведення випливає з вказаних загальних результатів теорії структур (зокрема, з погляду на структуру як на алгебру, кожна з двох сигнатурних операцій якої ідемпотентна, комутативна та асоціативна, а самі ці операції пов‟язані законами поглинання) та лінійності відповідного порядку (див. рис. 1). Цікаво відзначити, що по суті саме таке компактне задання операцій (алгебри) сильної логіки Кліні використовується в популярній літературі з мови SQL: F інтерпретується як число 0, T – як 1,  – як 2 1 ; тоді ),min( yxyx  , ),max( yxyx  при природному порядку – 1 2 1 0  ; більш того, xx  1 (див., наприклад, [11]). Слабка логіка Кліні, що виникає при природному розширенні булевої логіки Розглянемо слабку логіку Кліні та почнемо з алгебри (групоїда)  };,,{ FT , де операція кон‟юнкції відмінна від розглянутої вище сильної кон‟юнкції Кліні та задана наступним чином: у випадках, коли хоч один з аргументів дорівнює третьому (новому) значенню , результатом буде саме це значення, в усіх інших випадках операція веде себе як операція  стандартної логіки (табл. 4). Таку операцію  називатимемо слабкою кон„юнкцією Кліні [1]. Таблиця 4. Операція  на },,{ FT , що зберігає   T F  T T F  F F F      Отже, мова йде про розширення стандартної кон‟юнкції, яке зберігає третє логічне значення. Зауважимо, що операції кон‟юнкції та диз‟юнкції алгебри сильної логіки Кліні, на відміну від операції заперечення цієї ж алгебри, третє логічне значення  не зберігають (див. табл. 1, 2; наприклад, TT  , FF  , але   ). Так введена операція асоціативна, комутативна та ідемпотентна (що перевіряється безпосередньо); тобто  };,,{ FT комутативна ідемпотентна півгрупа і можна застосувати загальну процедуру побудови по ній півструктури (верхньої чи нижньої). Визначимо два бінарних відношення yx )(  def  yxx  та yx )(  def  yxy  . Тоді кожне з цих відношень є порядком, і множина },,{ FT з порядком )(  2 (з порядком  (  )) є нижньою (верхньою) півструктурою, причому yxyx  },{inf (відповідно yxyx },{sup ) (див., наприклад, [10], гл. II, § 8, с. 151–152, теорема 1). Очевидно, порядки )(  та  (  ) взаємоінверсні, тобто yx   xy . Отже, згідно принципу двоїстості, не має значення, який саме порядок з цих двох розглядати (див., наприклад, [12], § 1, с. 10). Порядки )(  та  (  ) проілюстровані в табл. 5 та на рис. 2 (на якому не наведена одна стрілка, що відновлюється згідно транзитивності, та три петлі, що відповідають рефлексивності порядку). 2 Використовуватимемо позначення вигляду )(  , бажаючи підкреслити, що відношення  індукується операцією  , аналогічно для інверсного відношення. Іноді в таких позначеннях операцію явно вказувати не будемо. Теоретичні та методологічні основи програмування 76 ω T F T ω F yx  = },{inf )( yx  yx  = },{sup )( yx  Рис. 2. Порядки ( )  (зліва) та ( ) (справа) на { , , }T F  Таблиця 5. Порядки )(  та  (  ) на },,{ FT yx   yxx  yx  yxy  x y T F  T F  T + - - + + + F + + - - + +  + + + - - + Аналогічно, групоїд  };,,{ FT , операція якого є розширенням стандартної операції диз„юнкції та зберігає третє логічне значення  (табл. 6), є комутативною ідемпотентною півгрупою (операція  асоціативна, комутативна та ідемпотентна, що перевіряється безпосередньо). Знову можна застосувати загальну процедуру побудови півструктури. Визначимо два відношення yx )(  def  yxx  та yx )(  def  yxy  (як і для випадку кон‟юнкції ці два відношення взаємоінверсні). Тоді кожне з цих відношень є порядком, і множина },,{ FT з порядком )(  (з порядком  (  )) є нижньою (верхньою) півструктурою, причому yxyx  },{inf (відповідно yxyx },{sup [10], гл. II, § 8, с. 151–152, теорема 1). Визначимо два відношення yx )(  def  yxx  та yx )(  def  yxy  (як і для випадку кон‟юнкції ці два відношення взаємоінверсні). Таблиця 6. Операція  на },,{ FT , що зберігає   T F  T T T  F T F      Тоді кожне з цих відношень є порядком, і множина },,{ FT з порядком )(  (з порядком  (  )) є нижньою (верхньою) півструктурою, причому inf { , }x y x y   (відповідно yxyx },{sup [10], гл. II, § 8, с. 151–152, теорема 1). Порядки проілюстровані в табл. 7 та на рис. 3 (як і на попередніх рисунках на ньому не наведена одна стрілка, що відновлюється згідно транзитивності, та три петлі, що відповідають рефлексивності порядку). ω F T F ω T yx  = },{inf )( yx  yx  = },{sup )( yx  Рис. 3. Порядки ( )  (зліва) та ( ) (справа) на { , , }T F  Теоретичні та методологічні основи програмування 77 Таблиця 7. Порядки  (  ) та  (  ) на },,{ FT yx )(   yxx  yx )(   yxy  x y T F  T F  T + + - + - + F - + - + + +  + + + - - + Аналіз процедури побудови півструктур (нагадаємо, що, наприклад, yx )(   yxx  ), показує, що лінійність, загалом, часткового порядку забезпечується такою властивістю слабкої кон‟юнкції та слабкої диз‟юнкції – },{, yxyxyx   для всіх },,{, FTyx  . Отже, ситуація з лінійністю порядків аналогічна сильній логіці Кліні та навіть дещо спрощується: належності },{, yxyxyx   у випадку, коли хоча б один з аргументів x , y є  , автоматично випливають зі збереження значення  операціями. Відмінність полягає в тому, що встановити лінійність порядку як наслідок трьохелементності не можна, оскільки працюємо в півструктурах (зауважимо, що існує простий приклад трьохелементної півструктури, яка не є ланцюгом; разом з тим зрозуміло, що двохелементні півструктури є ланцюгами). Підсумуємо інформацію про півструктури (насправді, структури, оскільки порядок лінійний), індуковані двома розглянутими комутативними ідемпотентними півгрупами. Твердження 4 (структури, індуковані слабкою кон„юнкцією та слабкою диз„юнкцією). Відношення )(  та )(  перетворюють множину },,{ FT в ланцюг (а, значить, і в структуру), причому yx  є найменшим (найбільшим) з елементів yx, згідно порядку )(  (відповідно )(  ) для всіх },,{, FTyx  . Відношення )(  та )(  також перетворюють множину },,{ FT в ланцюг (а, значить, і в структуру), причому yx  є найменшим (найбільшим) з елементів yx, згідно порядку )(  (відповідно )(  ) для всіх },,{, FTyx  . Доведення випливає з вказаних загальних результатів теорії півструктур (з погляду на півструктуру як на комутативну ідемпотентну півгрупу) та лінійності відповідних порядків (див. рис. 2–3). Очевидно, що вказані в останньому твердженні два (взаємоінверсні) порядки для слабкої кон‟юнкції відрізняються від двох (знову ж взаємоінверсних) порядків для слабкої диз‟юнкції. Отже, серед вказаних чотирьох порядків немає порядку, який би відповідав одночасно слабкої кон‟юнкції та слабкої диз‟юнкції (на відміну від випадку сильної логіки Кліні, де такий “спільний” порядок існує, див. рис. 1). Тому для алгебри < },,{ FT ;  ,  > поставимо загальне питання: чи існує на множині },,{ FT порядок (позначимо його  ), що перетворює її в структуру, причому для довільних yx, виконуються рівності yx  = inf {x,y}, yx  = sup {x,y} (або, що еквівалентно, двоїстості рівності yx  = sup {x,y}, yx  = inf {x,y})? Відповідь негативна. Дійсно, припустимо, що такий порядок існує, тоді мають виконуватися закони поглинання для операцій слабкої кон‟юнкції та слабкої диз‟юнкції ([10], гл. II § 8, с. 152–153, теорема 2). Але результати безпосередньої перевірки цих законів, наведені в табл. 8, показують, що у випадках, коли тільки y співпадає з , обидва закони поглинання не виконуються. Отже, такого порядку не існує. Теоретичні та методологічні основи програмування 78 Таблиця 8. Виконуваність законів поглинання для операцій   , xxyx   )( xxyx   )( x y T F  T F  T + + - + + - F + + - + + -  + + + + + + Те, що закони поглинання не виконуються, є цілком природним. Дійсно, суть цих законів полягає в тому, що значення виразів xyx   )( , xyx   )( не залежать від значення елемента y , а визначаються тільки значенням елемента x . Зрозуміло, що ця вимога не виконується, якщо операції зберігають значення  , y співпадає з ним, а x навпаки відмінний від  . Висновки На множині },,{ FT існує 6 = 3! можливих лінійних порядків, зв‟язок яких з операціями диз‟юнкції та кон‟юнкції двох розглянутих логік наведений в табл. 9. Таблиця 9. Усі можливі лінійні порядки на },,{ FT 1. ),min( yxyx k  ),max( yxyx k  F T ω 2. ),max( yxyx k  ),min( yxyx k  T F ω 3. ),max( yxyx  F ω T 4. ),min( yxyx  ω F T 5. ),min( yxyx  ω T F 6. ),max( yxyx  T ω F Теоретичні та методологічні основи програмування 79 Порядок 1 (інверсний йому порядок 2) відповідає одночасно диз‟юнкції та кон‟юнкції сильної логіки Кліні. Це порядки структури, асоційованої з алгеброю сильної логіки Кліні. Порядок 3 (інверсний йому порядок 4) відповідає диз‟юнкції, але не кон‟юнкції слабкої логіки Кліні. Дуально, порядок 5 (інверсний йому порядок 6) – відповідає кон‟юнкції, але не диз‟юнкції слабкої логіки Кліні. Це порядки півструктур, асоційованих з двома півгрупами слабкої логіки Кліні 3 . 1. Клини С.К. Введение в метаматематику. – М.: ИЛ, 1957. – 526 с. 2. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. – Киев: Наук. думка, 1978. – 318 с. 3. Редько В.Н., Брона Ю.Й., Буй Д.Б., Поляков С.А.Реляційні бази даних: табличні алгебри та SQL-подібні мови. – К.: Видавничий дім “Академперіодика”, 2001. – 198 с. 4. Cook S., Kleppe A., Mitchell R., Rumpe B., Warmer J., Wills A. The Amsterdam Manifesto on OCL. – UML 2.0 Request for information response: OMG Analysis & Design PTF, 1999 [Електронний ресурс]. – Точка доступу: http://www.trireme.com/whitepapers/design/components/OCL_manifesto.PDF. 5. www.omg.org // 05-06-06.pdf. 6. Манна З. Теория неподвижной точки программ // Кибернетический сб. Новая серия. Вып. 15. – М.: Мир, 1978. – С. 38–100. 7. The Object Data Standard: ODMG 3.0 / Edited by R.G.G. Cattel, Douglas K. Barry. – Morgan Kauffmann Publishers, 2000. 8. http://www.omg.org/docs/omg/04-07-02.pdf. 9. Кахута Н.Д., Буй Д.Б. Властивості теоретико-множинних конструкцій повного образу та обмеження. Вісн. Київськ. ун-ту. Сер. фіз.-мат. науки. – 2005. – Вип. 2. – С. 232–240. 10. Скорняков Л. А. Элементы алгебры. – М.: Наука, 1986. – 240 с. 11. http://www.sql-ex.ru/help/select2.php. 12. Скорняков Л А. Элементы теории структур. – М.: Наука, 1982. – 160 с. 3 Сигнатура одної півгрупи складається з слабої диз„юнкції, другої півгрупи – з слабої кон„юнкції. http://www.trireme.com/ http://www.omg.org/

Виникнення та інтерпретація тризначних логік Кліні

Institution

Ähnliche Einträge