predicate calculus

(redirected from functional calculus)
Also found in: Dictionary, Thesaurus, Wikipedia.

predicate calculus

[′pred·ə·kət ‚kal·kyə·ləs]
(mathematics)
The mathematical study of logical statements relating to arbitrary sets of objects and involving predicates and quantifiers as well as propositional connectives.

Predicate Calculus

 

(also functional calculus), a branch of mathematical logic—an aggregate of logical and mathematical calculi that formalize those branches of modern logic in which the rules of operating with quantifiers are elucidated and studied (in connection with the examination of the subject-predicate structure of propositions).

predicate calculus

References in periodicals archive ?
are rapidly decreasing functions, they enjoy very nice properties and are possibly suitable to construct a functional calculus for both unbounded and non-commuting operators.
Mobius transformations and monogenic functional calculus.
To summarize: For me, the functional calculus was a paradigm--but not a platform--for building a calculus for communicating systems.

Full browser ?