Interpreting GPFCSP within the LΠ ½ logic framework | Zendy

Aleksandar Takači | Zendy; Aleksandar Perović | Zendy; Aleksandar Jovanović | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Interpreting GPFCSP within the LΠ ½ logic framework

Author(s) -

Aleksandar Takači,

Aleksandar Perović,

Aleksandar Jovanović

Publication year - 2013

Publication title -

filomat

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.449

H-Index - 34

eISSN - 2406-0933

pISSN - 0354-5180

DOI - 10.2298/fil1305889t

Subject(s) - mathematics , interpretation (philosophy) , simple (philosophy) , calculus (dental) , constraint (computer aided design) , order (exchange) , algebra over a field , algorithm , epistemology , computer science , pure mathematics , programming language , medicine , philosophy , geometry , dentistry , finance , economics

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research