Clausal intuitionistic logic I. fixed-point semantics
- 31 March 1988
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 5 (1) , 1-31
- https://doi.org/10.1016/0743-1066(88)90005-2
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Negation as inconsistency. IThe Journal of Logic Programming, 1986
- N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failureThe 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 ProgrammingJournal of the ACM, 1982
- On the existence of optimal fixpointsTheory of Computing Systems, 1979
- Using rewriting rules for connection graphs to prove theoremsArtificial Intelligence, 1979
- A Search Technique for Clause Interconnectivity GraphsIEEE Transactions on Computers, 1976
- Disjunction and existence under implication in elementary intuitionistic formalismsThe Journal of Symbolic Logic, 1962
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systemsThe Journal of Symbolic Logic, 1960
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955