Skip to Main content Skip to Navigation
Conference papers

Fibrational semantics for many-valued logic programs: grounds for non-groundness.

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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00295027
Contributor : Ekaterina Komendantskaya <>
Submitted on : Friday, July 11, 2008 - 10:26:09 AM
Last modification on : Friday, February 6, 2015 - 12:14:14 PM
Long-term archiving on: : Friday, May 28, 2010 - 11:25:55 PM

Files

JELIAKomendaPower.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00295027, version 1

Citation

Ekaterina Komendantskaya, John Power. Fibrational semantics for many-valued logic programs: grounds for non-groundness.. JELIA, Aug 2008, Dresden, Germany. ⟨inria-00295027v1⟩

Share

Metrics

Record views

3

Files downloads

36