A compact representation of proofs
- 1 December 1987
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 46 (4) , 347-370
- https://doi.org/10.1007/bf00370646
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Expansion tree proofs and their conversion to natural deduction proofsPublished by Springer Nature ,2006
- Automating Higher-Order LogicContemporary Mathematics, 1984
- A Complete Mechanization of Second-Order Type TheoryJournal of the ACM, 1973
- Resolution in type theoryThe Journal of Symbolic Logic, 1971
- Hauptsatz for higher order logicThe Journal of Symbolic Logic, 1968
- First-Order LogicPublished by Springer Nature ,1968
- A proof of cut-elimination theorem in simple type-theoryJournal of the Mathematical Society of Japan, 1967
- Linear reasoning. A new form of the Herbrand-Gentzen theoremThe Journal of Symbolic Logic, 1957
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940