Transforming matings into natural deduction proofs
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 281-292
- https://doi.org/10.1007/3-540-10009-1_22
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A syntactic connection between proof procedures and refutation proceduresPublished by Springer Nature ,1977
- Refutations by MatingsIEEE Transactions on Computers, 1976
- An approach to a systematic theorem proving procedure in first-order logicComputing, 1974
- Logical WritingsPublished by Springer Nature ,1971