Interpreting Gpfcsp Within the $L\Pi\frac12$ Logic Framework


Aleksandar Takači, Aleksandar Petrović, Aleksandar Jovanović




The aim of this paper is to interpret Generalized Priority Constraint Satisfaction Problem (GPFCSP) using the interpretational method. We will interpret the $\L\Pi\frac12$ logic into the first order theory of the reals, in order to obtain alternative, simple-complete axiomatization of $\L\Pi\frac12$ logic. A complete axiomatization using the interpretation method as a syntactical approach is given.