Bilattices and the semantics of logic programming
- 1 August 1991
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 11 (2) , 91-116
- https://doi.org/10.1016/0743-1066(91)90014-g
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Signed data dependencies in logic programsThe Journal of Logic Programming, 1989
- Multivalued logics: a uniform approach to reasoning in artificial intelligenceComputational Intelligence, 1988
- Negation in logic programmingThe Journal of Logic Programming, 1987
- Partial models and logic programmingTheoretical Computer Science, 1986
- Quantitative deduction and its fixpoint theoryThe Journal of Logic Programming, 1986
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Four valued semantics and the LiarJournal of Philosophical Logic, 1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955