Komendantskaya, E. and Power, J., 2008. Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. Heidelberg: Springer, pp. 258-271.
We introduce a fibrational semantics for many-valued logic programming, use it to define an SLD-resolution for annotation-free many valued logic programs as defined by Fitting, and prove a soundness and completeness result relating the two. We show that fibrational semantics corresponds with the traditional declarative (ground) semantics and deduce a soundness and completeness result for our SLD-resolution algorithm with respect to the ground semantics.
|Item Type ||Conference or Workshop Items (UNSPECIFIED)|
|Creators||Komendantskaya, E.and Power, J.|
|Departments||Faculty of Science > Computer Science|
|Publisher Statement||Power_JELIA_2008.pdf: The original publication is available at www.springerlink.com|
Actions (login required)