Artificial intelligence

Scientific journal

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Search by:

Year of publication
Author name
Paper title

7-values logics and logics of general non-deterministic predicates

Nikitchenko M.1, Shkilniak O.1, Shkilniak S.1
1 Taras Shevchenko National University of Kyiv

Full text (PDF)

UDC: 004.42:510.69
Publication Language: Ukrainian
Stuc. intelekt. 2018; 23(2):110-121

Abstract: A new class of program-oriented logical formalisms – a logic of general non-deterministic predicates, or GND-predicates – is investigated. Different types of GND-predicates are identified, their compositional algebras are described. The connection of GND-predicates with 7-valued total deterministic predicates, or TD7-predicates, is demonstrated. The algebra of truth values of TD7-predicates is specified; all its subalgebras are described. Such algebras induce subalgebras of corresponding GND-predicates; their properties are investigated. This demonstrates the special role of the logic of TD7-predicates among the 7-valued logics. The confirmation of this role is the generation of the logic of TD7 predicates from the strong 3-valued Kleene logic.

Keywords:

References:

  1. Handbook of Logic in Computer Science / Editedby S. Abramsky, Dov M. Gabbay andT.S.E. Maibaum. – Oxford University Press,Vol. 1–5, 1993–2000.
  2. Nikitchenko M.S. Prykladna logika /M.S. Nikitchenko, S.S. Shkilniak. – К.: VPCKyivskyi universytet, 2013. – 278 p.
  3. Nikitchenko M.S. Chysti pershoporiadkovi logikykvaziarnyh predykativ / M.S. Nikitchenko,S.S. Shkilniak // Probl. programuvannia. – 2016. –№ 2–3. – Р. 73–86.
  4. Мykola S. Nikitchenko and Stepan S. Shkilniak.Algebras and logics of partial quasiary predicates// Algebra and Discrete Mathematics,Volume 23 (2017). Number 2, pp. 263–278.
  5. Hähnle, R. Many-valued logic, partiality, andabstraction in formal specification languages.Logic Journal of the IGPL, 13 (2005). P. 415–433.
  6. Duzi, M. Do we have to deal with partiality?Miscellanea Logica, 5 (2003). P. 45–76.
  7. A. Avron, A. Zamansky. Non-deterministicsemantics for logical systems, in Handbook ofPhilosophical Logic, D.M. Gabbay, F. Guenthner(eds.), 2nd ed. Vol. 16 (2011). SpringerNetherlands. P. 227–304.
  8. Jones, C. Reasoning about partial functions in theformal development of programs. In: Proceedingsof AVoCS’05. V. 145. Elsevier, Electronic Notesin Theoretical Computer Science (2006). P. 3–25.
  9. Nikitchenko M.S. Аlgebry zahalnyhnedeterminovanyh predykativ / M.S. Nikitchenko,О.S. Shkilniak, S.S. Shkilniak // Probl.programuvannia. – 2018. – № 1. – P. 5–21.
  10. Nikitchenko M.S. Logiky zahalnyhnedeterminovanyh predykativ: semantychniaspekty / M.S. Nikitchenko, О.S. Shkilniak,S.S. Shkilniak // Probl. programuvannia. – 2018. –№ 2–3. – P. 31–45.
  11. S.C Kleene. Introductions to Metamathematics. –Van Nostrand, Princeton, 1952.
  12. N. Belnap, T. Steel. The Logic of Questions andAnswers. – New Haven and London: Yale Univ.Press, 1976.
  13. Nikitchenko M.S. Semantychni vlastyvostipiatyznacznyh logik / M.S. Nikitchenko,О.V. Shyshatska // Probl. programuvannia. –2018. – № 1. – P. 22–35.
  14. Shyshatska О.V. Vynyknennia ta interpretatsiatryznacznyh logik Klini / О.V. Shyshatska // Probl.programuvannia. – 2010. – № 2–3. – P. 72–79.

View full text (PDF)