Measuring with priority based logic

Aleksandar Takaci, Aleksandar Perovic, Aleksandar Jovanovic.

The paper offers a first order axiomatization of priority based logic that can handle prioritized symbols. Proposed axiomatization is closely connected to the generalized prioritized fuzzy constraint satisfaction problem (GPFCSP). Developed formalism is decidable, due to the existence of a quantifier elimination procedure for it.

PDF full paper