Minimal functional calculus
From Encyclopedia of Mathematics
minimal predicate calculus
The 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) |
How to Cite This Entry:
Minimal functional calculus. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Minimal_functional_calculus&oldid=12860
Minimal functional calculus. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Minimal_functional_calculus&oldid=12860
This article was adapted from an original article by S.K. Sobolev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article