Artificial intelligence

Scientific journal

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Search by:

Year of publication
Author name
Paper title

Logics with quasiary and N-ary predicates: semantic and syntaсtic aspects

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

Full text (PDF)

UDC: 004.42:510.69
Publication Language: Ukrainian
Stuc. intelekt. 2016; 21(2):18-27

Abstract: A new class of program-oriented logics is proposed – pure first-order logics with quasiary and n-ary predicates. They integrate classical first-order logics and composition-nominative logics of quasiary predicates. Logics languages are described and their semantic properties are formulated. Sequent calculi are built for irrefutability, truth, falsity, and strong consequence relations.

Keywords: logic, quasiary predicate, n-ary predicate, sequent calculus

References:

  1. Handbook of Logic in Computer Science / Edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum. – Oxford University Press, Vol. 1–5, 1993–2000.
  2. S.C. Kleene. Mathematical Logic. – New York: John Wiley & Sons. – 1967. – 398 p.
  3. Nikitchenko M.S. Matematychna logika ta teoria algorytmiv / M.S. Nikitchenko, S.S. Shkilniak. – К.: VPC Kyivskyi universytet, 2008. – 528 p.
  4. Nikitchenko M.S. Prykladna logika/M.S.Nikitchenko, S.S.Shkilniak. – К.: VPC Kyivskyi universytet, 2013. – 278 p.
  5. Nikitchenko M.S. Chysti pershoporiadkovi logiky kvaziarnyh predykativ / M.S. Nikitchenko, S.S. Shkilniak // Probl. programuvannia. – 2016. – № 2–3. – Р. 73–86.
  6. Nikitchenko М. Properties of Logics of Quasiary Predicates / М. Nikitchenko, S. Shkilniak // Workshop on Foundations of Informatics: Proceedings FOI-2015. August 24–29, 2015, Chisinau, Moldova - P. 180–197.
  7. Shkilniak S.S. Spektr sekventciinyh chyslen pershoporiadkovyh kompozytsiino-nominatyvnyh logik / S.S. Shkilniak // Probl. programuvannia. – 2013. – № 3. – Р. 22–37.

View full text (PDF)