A family of goal directed theorem provers based on conjunction and implication: Part 1
- 1 December 1991
- journal article
- research article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 7 (4) , 511-536
- https://doi.org/10.1007/bf01880327
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Near-Horn Prolog.Published by Defense Technical Information Center (DTIC) ,1987
- N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failureThe Journal of Logic Programming, 1985
- Semantical Investigations in Heyting’s Intuitionistic LogicPublished by Springer Nature ,1981