Stable inference as intuitionistic validity
- 31 January 1999
- journal article
- research article
- Published by Elsevier BV in The Journal of Logic Programming
- Vol. 38 (1), 79-91
- https://doi.org/10.1016/s0743-1066(98)10015-8
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completionThe Journal of Logic Programming, 1998
- A logical foundation for logic programming II: Semantics of general logic programsThe Journal of Logic Programming, 1998
- On Extensions of Intermediate Logics by Strong NegationJournal of Philosophical Logic, 1998
- Characterizations of the disjunctive stable semantics by partial evaluationThe Journal of Logic Programming, 1997
- An abstract, argumentation-theoretic approach to default reasoningArtificial Intelligence, 1997
- Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and ComputationInformation and Computation, 1997
- Abductive Logic ProgrammingJournal of Logic and Computation, 1992
- Classical negation in logic programs and disjunctive databasesNew Generation Computing, 1991
- Non-monotonic logic IArtificial Intelligence, 1980
- Constructible falsityThe Journal of Symbolic Logic, 1949