predicate calculus

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

predicate calculus

[′pred·ə·kət ‚kal·kyə·ləs]
The mathematical study of logical statements relating to arbitrary sets of objects and involving predicates and quantifiers as well as propositional connectives.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.
The following article is from The Great Soviet Encyclopedia (1979). It might be outdated or ideologically biased.

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).

The Great Soviet Encyclopedia, 3rd Edition (1970-1979). © 2010 The Gale Group, Inc. All rights reserved.

predicate calculus

This article is provided by FOLDOC - Free Online Dictionary of Computing (
References in periodicals archive ?
A functional calculus argument applied to this inequality with t = A implies
one can apply a functional calculus argument on (52).
Then [[[PSI].sub.n,A f]] ([??]) is a functional calculus from [L.sup.2] ([R.sub.m]) to B (U, L ([L.sub.(m)] ([X.sub.(m)]))) parametrized by [??] and A.
We wish to match the functional calculus not by copying its constructions, but by emulating two of its attributes: It is synthetic--we build systems in it, because the structure of terms represents the structure of processes; and it is computational--its basic semantic notion is a step of computation.

Full browser ?