VDict - Definition of predicate calculus

search result for predicate calculus in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

relational calculus predicate logic HiLog predicate calculus PPLambda domain calculus tuple calculus propositional logic lambda-calculus typed lambda-calculus fuzzy logic polymorphic lambda-calculus inclusive Second-Order Lambda-calculus lambda expression Lambada-Calculus pure lambda-calculus filter Codd's reduction algorithm Calculus of Communicating Systems set nu-calculus Bird-Meertens Formalism logic XSB beta reduction Church integer temporal logic Darwin delta reduction goal Fun SweetLambda CHOCS CIRCAL SLIPS Burge's Language Kid QA4 CCS LAMBDA beta conversion pi-calculus epsilon propositional calculus equational logic Qu-Prolog CUCH Alonzo Church CIRcuit CALculus linear function TABLOG Knights of the Lambda-Calculus Larch PROSE head normalisation theorem symbolic logic System F TALE Z SOL relational language formula Modular Prolog Green's Theorem \begin call-by-need Joy alpha conversion ISWIM Algebraic Logic Functional language Petri net relational algebra eta conversion quantifier beta abstraction Computational Adequacy Theorem combinator De Bruijn notation 6.001

First < Previous 1 2 Next > Last