Interpreting GPFCSP within the LΠ ½ logic framework
Keyword(s):
The aim of this paper is to interpret Generalized Priority Constraint Satisfaction Problem (GPFCSP) using the interpretational method. We will interpret the L? ? logic into the first order theory of the reals, in order to obtain alternative, simple-complete axiomatization of L? ? logic. A complete axiomatization using the interpretation method as a syntactical approach is given.
Keyword(s):
2015 ◽
Vol 57
(2)
◽
pp. 157-185
◽
1971 ◽
Vol 3
(3)
◽
pp. 271-362
◽
1963 ◽
Vol 14
(2)
◽
pp. 148-155
◽
Keyword(s):