Artificial intelligence

Scientific journal

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Search by:

Year of publication
Author name
Paper title

Partial predicates logics induced Kleene’s three-valued logics

Bui D.1, Shyshats’ka O.2, Мuhammed K.2, Sunmade F.2
1 Taras Shevchenko National University of Kyiv
2 Taras Shevchenko National University of Kyiv

Full text (PDF)

UDC: 519.6
Publication Language: Russian
Stuc. intelekt. 2015; 20(3-4):84-88

Abstract: We consider the operations of disjunction and conjunction of partial predicates induced operations of disjunction and conjunction of weak and strong Kleene’s three-valued logics.

Keywords: partial predicates, disjunction, conjunction, Kleene’s three-valued logics

References:

  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.

View full text (PDF)