RO  EN
IMCS/Publications/CSJM/Issues/CSJM v.23, n.2 (68), 2015/

Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates

Authors: Mykola Nikitchenko, Stepan Shkilniak

Abstract

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.

Taras Shevchenko National University of Kyiv
01601, Kyiv, Volodymyrska st, 60
Phone: +38044 2590519
E-mail: .

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License

Fulltext

Adobe PDF document0.15 Mb