Logic Programming with Default, Weak and Strict Negations

Details Logic Programming with Default, Weak and Strict Negations Logic Programming with Default, Weak and Strict Negations

2005-11-10

arxiv.org/abs/cs/0511041v1

Computer Science

Logic in Computer Science

14 pages, to appear in Theory and Practice of Logic Programming (TPLP)

Scientific paper

This paper treats logic programming with three kinds of negation: default,
weak and strict negations. A 3-valued logic model theory is discussed for logic
programs with three kinds of negation. The procedure is constructed for
negations so that a soundness of the procedure is guaranteed in terms of
3-valued logic model theory.

Affiliated with

Also associated with

No associations

Rating

Logic Programming with Default, Weak and Strict Negations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Logic Programming with Default, Weak and Strict Negations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic Programming with Default, Weak and Strict Negations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-385951