Algebras and logics of partial quasiary predicates
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 quasiar...
Збережено в:
| Опубліковано в: : | Algebra and Discrete Mathematics |
|---|---|
| Дата: | 2017 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут прикладної математики і механіки НАН України
2017
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/156020 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Algebras and logics of partial quasiary predicates / M. Nikitchenko, S. Shkilniak // Algebra and Discrete Mathematics. — 2017. — Vol. 23, № 2. — С. 263–278. — Бібліогр.: 7 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862555325030203392 |
|---|---|
| author | Nikitchenko, M. Shkilniak, S. |
| author_facet | Nikitchenko, M. Shkilniak, S. |
| citation_txt | Algebras and logics of partial quasiary predicates / M. Nikitchenko, S. Shkilniak // Algebra and Discrete Mathematics. — 2017. — Vol. 23, № 2. — С. 263–278. — Бібліогр.: 7 назв. — англ. |
| collection | DSpace DC |
| container_title | Algebra and Discrete Mathematics |
| 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.
|
| first_indexed | 2025-11-25T22:12:50Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-156020 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1726-3255 |
| language | English |
| last_indexed | 2025-11-25T22:12:50Z |
| publishDate | 2017 |
| publisher | Інститут прикладної математики і механіки НАН України |
| record_format | dspace |
| spelling | Nikitchenko, M. Shkilniak, S. 2019-06-17T18:55:28Z 2019-06-17T18:55:28Z 2017 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. https://nasplib.isofts.kiev.ua/handle/123456789/156020 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. This work was supported in part by the project “Development of logic-algorithmic methods for investigation of formal models of natural languages” of Taras Shevchenko National University of Kyiv, Ukraine, Ref. Nr. 0116U004780. en Інститут прикладної математики і механіки НАН України Algebra and Discrete Mathematics Algebras and logics of partial quasiary predicates Article published earlier |
| spellingShingle | Algebras and logics of partial quasiary predicates Nikitchenko, M. Shkilniak, S. |
| title | Algebras and logics of partial quasiary predicates |
| title_full | Algebras and logics of partial quasiary predicates |
| title_fullStr | Algebras and logics of partial quasiary predicates |
| title_full_unstemmed | Algebras and logics of partial quasiary predicates |
| title_short | Algebras and logics of partial quasiary predicates |
| title_sort | algebras and logics of partial quasiary predicates |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/156020 |
| work_keys_str_mv | AT nikitchenkom algebrasandlogicsofpartialquasiarypredicates AT shkilniaks algebrasandlogicsofpartialquasiarypredicates |