Please use this identifier to cite or link to this item:
http://hdl.handle.net/123456789/4664
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Nikitchenko, M. | - |
dc.contributor.author | Shkilniak, S. | - |
dc.date.accessioned | 2020-01-15T09:16:53Z | - |
dc.date.available | 2020-01-15T09:16:53Z | - |
dc.date.issued | 2017 | - |
dc.identifier.uri | http://hdl.handle.net/123456789/4664 | - |
dc.description | Nikitchenko M. Algebras and logics of partial quasiary predicates / M. Nikitchenko, S. Shkilniak // Algebra and Discrete Mathematics. - 2017. - Vol. 23. - Number 2. - Рp. 263 -278 | uk_UA |
dc.description.abstract | 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. | uk_UA |
dc.language.iso | en | uk_UA |
dc.relation.ispartofseries | математичні науки; | - |
dc.subject | partial predicate | uk_UA |
dc.subject | quasiary predicate | uk_UA |
dc.subject | predicate algebra | uk_UA |
dc.subject | predicate logic | uk_UA |
dc.subject | soundness | uk_UA |
dc.subject | completeness | uk_UA |
dc.title | Algebras and logics of partial quasiary predicates | uk_UA |
dc.type | Article | uk_UA |
Appears in Collections: | Algebra and Discrete Mathematics. - № 2 (23). - 2017 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
440-1608-1-PB.pdf | 367.66 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.