Логики частичных предикатов, индуцированные трехзначными логиками Клини

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.