Investigations into proof-search in a system of first-order dependent function types
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 236-250
- https://doi.org/10.1007/3-540-52885-7_91
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A resolution calculus for modal logicsPublished by Springer Nature ,2005
- A framework for defining logicsJournal of the ACM, 1993
- Natural deduction as higher-order resolutionThe Journal of Logic Programming, 1986
- Programming in PrologPublished by Springer Nature ,1984
- Computationally Improved Versions of Herbrand's TheoremPublished by Elsevier ,1982
- Theorem Proving via General MatingsJournal of the ACM, 1981
- First-Order LogicPublished by Springer Nature ,1968
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- The permutability of rules in the classical inferential calculusThe Journal of Symbolic Logic, 1952
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935