Namespaces
Variants
Actions

Minimal functional calculus

From Encyclopedia of Mathematics
Revision as of 17:01, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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=32859
This article was adapted from an original article by S.K. Sobolev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article