VDict - Definition of propositional calculus

search result for propositional calculus in Computing (FOLDOC) dictionary

propositional logic propositional calculus predicate logic relational calculus domain calculus tuple calculus modal logic lambda-calculus typed lambda-calculus polymorphic lambda-calculus Second-Order Lambda-calculus lambda expression Lambada-Calculus pure lambda-calculus PPLambda Codd's reduction algorithm Calculus of Communicating Systems nu-calculus Bird-Meertens Formalism temporal logic PLTL beta reduction Church integer PDL Darwin delta reduction Fun SweetLambda CHOCS CIRCAL SLIPS Burge's Language Kid QA4 CCS LAMBDA beta conversion pi-calculus epsilon predicate calculus CUCH Alonzo Church CIRcuit CALculus Knights of the Lambda-Calculus PROSE head normalisation theorem symbolic logic System F TALE SOL Modular Prolog Green's Theorem call-by-need Joy alpha conversion ISWIM HiLog relational algebra eta conversion beta abstraction Computational Adequacy Theorem combinator De Bruijn notation 6.001 Stack Environment Control Dump machine free variable lambda abstraction Weak Head Normal Form delta Ponder Russell's Paradox Isabelle functional programming domain theory Lisp fuzzy logic canonical