A Sequent Formulation of a Logic of Predicates in HOL
- 1 January 1993
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- On analysing relevance constructivelyStudia Logica, 1979
- The Completeness of Free LogicMathematical Logic Quarterly, 1966
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940