Штучний інтелект

Науковий журнал

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Шукати за:

Роком видання
Автором
Назвою статті

Partial predicates logics induced Kleene’s three-valued logics

Буй Д.Б.1, Шишацка О.В.2, Мухаммед К.Д.2, Санмейд Ф.2
1 Київський національний університет імені Тараса Шевченка
2 Київський національний університет імені Тараса Шевченка

Повний текст (PDF)

УДК: 519.6
Мова публікації: Російська
Stuc. intelekt. 2015; 20; (3-4):84-88

Анотація: Розглядаються операції диз’юнкції та кон’юнкції часткових предикатів, індуковані операціями диз’юнкції та кон’юнкції слабкої та сильної тризначних логік Кліні.

Ключові слова: часткові предикати, диз’юнкція, кон’юнкція, тризначні логіки Кліні.

Посилання:

  1. Kleene С. Introduction to metamathematics.  New York, Toronto: D. VAN NOSNRANDCOMPANY, INC., 1952. – 524 р.
  2. Cutland N. An introduction to recursive function еheory. Cambridge: Cambridge University Press,1980.  256 p.
  3. Maltsev А.І. Algorithms and computational functions.  M .: Nauka, 1965.  392 р.
  4. Buy D.B. Three remarks on Kleene’s three-valued logics / D.B. Buy, S.A. Polyakov, E.V.Shishatskaya // The Fourth International Conference "Theoretical and Applied Aspects of ProgramSystems Development (TAAPSD'2007). Abstracts (Ukraine, Berdynsk, 4-9 September 2007).  Kiev:Pulsar, 2007. P. 47-51.
  5. Shyshats'ka O.V. Kleene’s three-valued logics and three-element chains.  Bulletin of Kiev University.A series of physical and mathematical sciences.  Kiev: Khreshchatyk.  2007.  P. 230-236.
  6. Buy D.B. Kleene’s three-valued logics and three-element chains / D.B. Buy, E.V. Shyshats'ka // Algorithmicand Mathematical Foundation of the Artificial Intelligence. International Book Series "INFORMATIONSCIENCE & COMPUTING", Number 1. Supplement to the International Journal "INFORMATIONTECHNOLOGIES & KNOWLEDGE", Volume 2, 2008. Sofia.  2008. P. 165-172.
  7. Buy D. Three-valued Kleene logic and three-element chains / D.B. Buy, O.V. Shyshats'ka //Proceedings of the CSE 2008 International Scientific Conference on Computer Science andEngineering (September 24-26, 2008, The High Tatras  Stara Lesna, Slovakia).
  8. Buy D. Non-classical logics: Kleene’s three-valued logics and three-element chains / D.B. Buy,N.D. Kahuta, E.V. Shyshats'ka // VII-th International Scientific and Practical Conference "Integratedmodels and soft computing in artificial intelligence".  2013.  P.43-50.

Переглянути повний текст статті (PDF)