A sound and complete CG proof procedure combining projections with analytic tableaux
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 371-385
- https://doi.org/10.1007/bfb0027884
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Sound and complete forward and backward chainings of graph rulesPublished by Springer Nature ,1996
- Conceptual graphs and first-order logicPublished by Springer Nature ,1995
- Direct deductive computation on discourse representation structuresLinguistics and Philosophy, 1994
- Tableau calculus for order sorted logicPublished by Springer Nature ,1990
- Computational Aspects of an Order-Sorted Logic with Term DeclarationsPublished by Springer Nature ,1989
- First-Order LogicPublished by Springer Nature ,1968