Clausal intuitionistic logic II. tableau proof procedures
- 30 June 1988
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 5 (2) , 93-132
- https://doi.org/10.1016/0743-1066(88)90014-3
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Negation as inconsistency. IThe Journal of Logic Programming, 1986
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- 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
- Situations and AttitudesThe Journal of Philosophy, 1981
- Using rewriting rules for connection graphs to prove theoremsArtificial Intelligence, 1979
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963
- A completeness theorem in modal logicThe Journal of Symbolic Logic, 1959