Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
750 3 |
Ultima descărcare din IBN: 2024-06-28 18:28 |
Căutarea după subiecte similare conform CZU |
510.6 (18) |
Logică matematică (18) |
SM ISO690:2012 NIKITCHENKO, Mykola, SHKILNIAK, Oksana, SHKILNIAK, Stepan, MAMEDOV, Tohrul. Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition. In: Computer Science Journal of Moldova, 2019, nr. 2(80), pp. 162-187. ISSN 1561-4042. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Computer Science Journal of Moldova | ||||||
Numărul 2(80) / 2019 / ISSN 1561-4042 /ISSNe 2587-4330 | ||||||
|
||||||
CZU: 510.6 | ||||||
Pag. 162-187 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
Partial quasiary predicates are used in programming for representing program semantics and in logic for formalizing predicates over partial variable assignments. Such predicates do not have fixed arity therefore they may be treated as mappings over partial data. Obtained logics are not expressive enough to construct sound axiomatic systems of Floyd–Hoare type. To increase expressibility of such logics, oriented on quasiary predicates, we extend their language with the complement operation (composition). In the paper we define one of such logics called first-order logic of partial quasiary predicates with the complement composition. For this logic a special consequence relation called irrefutability consequence relation under undefinedness conditions is introduced. We study its properties, construct a sequent calculus for it and prove soundness and completeness of this calculus. |
||||||
Cuvinte-cheie partial predicate, quasiary predicate, program logic, predicate logic, soundness and completeness |
||||||
|