Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
807 17 |
Ultima descărcare din IBN: 2020-10-24 15:42 |
Căutarea după subiecte similare conform CZU |
004.421.2:[510.6+512.54.05] (1) |
Программные средства (302) |
Математическая логика (18) |
Алгебра (413) |
SM ISO690:2012 NIKITCHENKO, Mykola, SHKILNIAK, Stepan. Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates. In: Computer Science Journal of Moldova, 2015, nr. 2(68), pp. 102-122. ISSN 1561-4042. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Computer Science Journal of Moldova | ||||||
Numărul 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330 | ||||||
|
||||||
CZU: 004.421.2:[510.6+512.54.05] | ||||||
Pag. 102-122 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
In the paper we investigate semantic properties of program-oriented algebras and logics defined for classes of quasiary predicates. Informally speaking, such predicates are partial predicates defined over partial states (partial assignments) of variables. Conventional n-ary predicates can be considered as a special case of quasiary predicates. We define first-order logics of quasiary non-deterministic predicates and investigate semantic properties of
T-consequence relation for such logics. Specific properties of
T-consequence relation for the class of deterministic predicates are also considered. Obtained results can be used to prove logic validity and completeness. |
||||||
Cuvinte-cheie First-order logic, partial predicate, non-deterministic predicate., quasiary predicate |
||||||
|