Algebras and logics of partial quasiary predicates
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Algebras and logics of partial quasiary predicates
|
|
| Creator |
Nikitchenko, M.
Shkilniak, S. |
|
| Description |
In the paper we investigate algebras and logics defined for classes of partial 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. The notion of quasiary predicate, as well as the notion of quasiary function, is used in computer science to represent semantics of computer programs and their components. We define extended first-order algebras of partial quasiary predicates and investigate their properties. Based on such algebras we define a logic with irrefutability consequence relation. A sequent calculus is constructed for this logic, its soundness and completeness are proved.
|
|
| Date |
2019-06-17T18:55:28Z
2019-06-17T18:55:28Z 2017 |
|
| Type |
Article
|
|
| Identifier |
Algebras and logics of partial quasiary predicates / M. Nikitchenko, S. Shkilniak // Algebra and Discrete Mathematics. — 2017. — Vol. 23, № 2. — С. 263–278. — Бібліогр.: 7 назв. — англ.
1726-3255 2010 MSC:03G25, 08A70, 03B70. http://dspace.nbuv.gov.ua/handle/123456789/156020 |
|
| Language |
en
|
|
| Relation |
Algebra and Discrete Mathematics
|
|
| Publisher |
Інститут прикладної математики і механіки НАН України
|
|