Translating machine-generated resolution proofs into ND-proofs at the assertion level
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 399-410
- https://doi.org/10.1007/3-540-61532-6_34
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- On transforming intuitionistic matrix proofs into standard-sequent proofsPublished by Springer Nature ,1995
- Reconstructing proofs at the assertion levelPublished by Springer Nature ,1994
- Applications of Assertions as Elementary Tactics in Proof PlanningPublished by Elsevier ,1992
- Presenting intuitive deductions via symmetric simplificationPublished by Springer Nature ,1990
- The markgraf karl refutation procedure (MKRP)Published by Springer Nature ,1986
- Transforming matings into natural deduction proofsPublished by Springer Nature ,1980
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935