VDict - Definition of predicate logic

search result for predicate logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

predicate logic HiLog logic propositional logic equational logic predicate calculus Algebraic Logic Functional language fuzzy logic quantifier first-order logic neutrosophic logic TABLOG temporal logic goal PPLambda EQLog inclusive Qu-Prolog Emitter Coupled Logic F+L LeFun Z formula Programmable Array Logic TEMPLOG symbolic logic LO classical logic linear logic BABEL \begin filter logic emulator intuitionistic logic P-Prolog set Lolli LOGIN intuitionistic probability HOL modal logic Distributed Logic Programming Horn clause XSB {log}two-valued logic Constraint Handling In Prolog connective HCLP field-programmable gate array Arithmetic and Logic Unit Tempura intuitionist logic Gunning Transceiver Logic Universal algebra PRISM Terse LML ObjVProlog LOP Lambda Prolog Built-in Self Test F-Logic Generic Array Logic Smarandache logic L&O ZX-81 Baroque proof theory logic variable assertion Lambada-Calculus Pandora Gottlob Frege Boolean logic GAPLog SFLV PRL Parlog metalanguage

First < Previous 1 2 3 4 5 Next > Last