Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition
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 en...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Vladimir Andrunachievici Institute of Mathematics and Computer Science
2019-09-01
|
Series: | Computer Science Journal of Moldova |
Subjects: | |
Online Access: | http://www.math.md/files/csjm/v27-n2/v27-n2-(pp162-187).pdf |