VDict - Definition of first-order logic

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

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

equational logic first-order logic HOL BABEL predicate logic LOP logic Lambda Prolog TEMPLOG neutrosophic logic TABLOG Isabelle connective Lolli Universal algebra F-Logic quantifier propositional logic Horn clause channel service unit EQLog HiLog Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun Programmable Array Logic symbolic logic LO classical logic linear logic Wild_LIFE logic emulator intuitionistic logic P-Prolog LOGIN intuitionistic probability skolemisation traversal modal logic Distributed Logic Programming logic programming {log}Fresh two-valued logic Constraint Handling In Prolog HCLP field-programmable gate array Arithmetic and Logic Unit Tempura intuitionist logic Gunning Transceiver Logic Terse PRISM LML ObjVProlog Built-in Self Test Subset-Equational Language Generic Array Logic Smarandache logic L&O ZX-81 Cube PPLambda Baroque proof theory logic variable assertion Lambada-Calculus Pandora Gottlob Frege Boolean logic temporal logic higher-order macro GAPLog SFLV deductive database PRL BeBOP Parlog

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