Clausal intuitionistic logic I. fixed-point semantics

This publication has 11 references indexed in Scilit:

• Negation as inconsistency. I
  The Journal of Logic Programming, 1986
• N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
  The Journal of Logic Programming, 1985
• N-Prolog: An extension of Prolog with hypothetical implications. I.
  The Journal of Logic Programming, 1984
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• On the existence of optimal fixpoints
  Theory of Computing Systems, 1979
• Using rewriting rules for connection graphs to prove theorems
  Artificial Intelligence, 1979
• A Search Technique for Clause Interconnectivity Graphs
  IEEE Transactions on Computers, 1976
• Disjunction and existence under implication in elementary intuitionistic formalisms
  The Journal of Symbolic Logic, 1962
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
  The Journal of Symbolic Logic, 1960
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955