Artificial intelligence

Scientific journal

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Search by:

Year of publication
Author name
Paper title

Сomposition Nominative Logics of Quasiary Predicates and Many-Valued Logics

Shkilniak S.1
1 Taras Shevchenko National University of Kyiv

Full text (PDF)

UDC: 004.42:510.69
Publication Language: Ukrainian
Stuc. intelekt. 2012; 17(1):66-74

Abstract: Composition nominative logics of quasiary predicates are studied at propositional and renominative levels. Connections between 2-valued logics of partial single-valued, total multiple-valued and partial multiple-valued quasiary predicates with the 3-valued and 4-valued logics of total single-valued predicates are established.

Keywords: composition nominative logic, many-valued logic, predicate

References:

  1. Nikitchenko N.S. Probl. programmirovanija. 1999. № 1. S. 16-31.
  2. Nіkіtchenko M.S. Matematychna logіka ta teorіja algorytmіv. K. : VPC Kyivs’kyj unіversytet. 2008. 528 s.
  3. Shkіl’njak S.S. Probl. programuvannja. 2010. №1. S. 15-38.
  4. Smirnova E.D. Logika i filosofija.M.: ROSSPEN. 1996. 304 s.
  5. Klini S. Vvedenie v metamatematiku. M. : IL, 1957. 526 s.
  6. Buj D.B. Probl. programuvannja. 2010. № 2-3. S. 80-88.
  7. Belnap N. Logika voprosov i otvetov. M. : Progress. 1981. 288 s

View full text (PDF)