| Fibrational semantics for many-valued logic programs: grounds for non-groundness. (2008) | |||||||||||||||
Abstract | |||||||||||||||
| 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 se- mantics 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. | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||