Programming in three-valued logic
- 21 January 1991
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 78 (1) , 189-216
- https://doi.org/10.1016/0304-3975(51)90008-4
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- The optimal model of a program with negationPublished by Springer Nature ,1991
- Complete logic programs with domain-closure axiomThe Journal of Logic Programming, 1988
- Negation in logic programmingThe Journal of Logic Programming, 1987
- Partial models and logic programmingTheoretical Computer Science, 1986
- Negation as inconsistency. IThe Journal of Logic Programming, 1986
- Notes on the mathematical aspects of Kripke's theory of truth.Notre Dame Journal of Formal Logic, 1986
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Optimal fixedpoints of logic programsTheoretical Computer Science, 1985
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- The Theoretical Aspects of the Optimal FixedpointSIAM Journal on Computing, 1976