Stratified , Weak Stratified , and Three-valued Semantics ∗

@inproceedings{BenJacob1999StratifiedW,
  title={Stratified , Weak Stratified , and Three-valued Semantics ∗},
  author={Marion G. Ben-Jacob},
  year={1999}
}
We investigate the relationship between three-valued Kripke/Kleene semantics and stratified semantics for stratifiable logic programs. We first show these are compatible, in the sense that if the three-valued semantics assigns a classical truth value, the stratified approach will assign the same value. Next, the familiar fixed point semantics for pure Horn clause programs gives both smallest and biggest fixed points fundamental roles. We show how to extend this idea to the family of… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
3 Citations
16 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 16 references

Logic programming on a topological bilattice

  • M. C. Fitting
  • Fundamenta Informatica
  • 1988

Computability Theory, Semantics, and Logic Programming

  • M. C. Fitting
  • 1987

Towards a theory of declarative knowledge , Foundations of Deductive Databases and Logic Programming

  • H. A. Blair, A. Walker
  • 1987

Similar Papers

Loading similar papers…