Minimal functional calculus, minimal predicate calculusThe calculus of predicates given by all axiom schemes of the
minimal propositional calculus
and by the usual quantifier axiom schemes and deduction rules, that is,
( 
an arbitrary term),
modus ponens
and
(provided the variable
does not occur in
and
 ).
References| [1] |
A. Church,
"Introduction to mathematical logic"
, 1
, Princeton Univ. Press
(1956) |
S.K. Sobolev
This text originally appeared in Encyclopaedia of Mathematics
- ISBN 1402006098
|