Resolution in type theory
- 1 September 1971
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 36 (3), 414-432
- https://doi.org/10.2307/2269949
Abstract
Resolution in type theory - Volume 36 Issue 3 - Peter B. AndrewsKeywords
This publication has 6 references indexed in Scilit:
- First-Order Logic. By R.M. Smullyan. Pp. 158. 75s. 1968. (Springer-Verlag-Berlin).The Mathematical Gazette, 1970
- First-Order LogicPublished by Springer Science and Business Media LLC ,1968
- A proof of cut-elimination theorem in simple type-theoryJournal of the Mathematical Society of Japan, 1967
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Fixed PointsThe American Mathematical Monthly, 1964
- A UNIFYING PRINCIPAL IN QUANTIFICATION THEORYProceedings of the National Academy of Sciences of the United States of America, 1963