VDict - Definition of first-order predicate calculus

search result for first-order predicate calculus in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

predicate logic relational calculus HiLog PPLambda predicate calculus Second-Order Lambda-calculus lambda-calculus polymorphic lambda-calculus domain calculus filter logic set tuple calculus Bird-Meertens Formalism propositional logic equational logic XSB TABLOG Church integer first-order logic typed lambda-calculus fuzzy logic inclusive CHOCS lambda expression Lambada-Calculus pure lambda-calculus Codd's reduction algorithm head normalisation theorem TALE Calculus of Communicating Systems SOL nu-calculus traversal Z Isabelle beta reduction Computational Adequacy Theorem combinator higher-order macro quantifier temporal logic Darwin 6.001 delta reduction network byte order order-embedding ASCIIbetical order HOL goal data flow analysis Hollerithabetical order Baudotbetical order Fun SweetLambda LOP backing store CIRCAL SLIPS pre-order stacking order Burge's Language reduction strategy functional programming Kid parallel reduction QA4 CCS first-order LAMBDA beta conversion pi-calculus epsilon propositional calculus Qu-Prolog CUCH normal order reduction Alonzo Church CIRcuit CALculus linear function

First < Previous 1 2 3 4 5 6 Next > Last