Articolul precedent |
Articolul urmator |
558 0 |
SM ISO690:2012 NIKITCHENKO, Mykola, SHKILNIAK, Stepan. Towards Representation of Free Logic as Logic of Partial Quasiary Predicates. In: Conference on Mathematical Foundations of Informatics, Ed. 2018, 2-6 iulie 2018, Chișinău. Chișinău: "VALINEX" SRL, 2018, pp. 180-189. ISBN 978‐9975‐4237‐7‐9. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Conference on Mathematical Foundations of Informatics 2018 | ||||||
Conferința "Conference on Mathematical Foundations of Informatics" 2018, Chișinău, Moldova, 2-6 iulie 2018 | ||||||
|
||||||
Pag. 180-189 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
Quasiary predicates can be defined as partial predicates over partial states (partial assignments) of variables. Such predicates have flexible arity. They are used to represent conditions in programs and program requirements, therefore logics of quasiary predicates are program-oriented logics. The main semantic idea of free logic is to allow singular terms not to denote an object. Therefore free logic has fewer existential presuppositions than classical logic. Free logic as well as classical predicate logic is based on total n-ary predicates. We demonstrate how different variants of free logic can be represented as logics of quasiary predicates. Properties of such representation are investigated. The obtained results can be useful for program verification and theory of definite descriptions. |
||||||
Cuvinte-cheie free logic, First-order logic, quasiary logic, partial predicate, quasiary predicate |
||||||
|