VDict - Definition of higher-order logic

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

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

HOL Lambda Prolog first-order logic predicate logic BABEL equational logic higher-order macro F-Logic logic Lolli Isabelle Emitter Coupled Logic HiLog LOP TEMPLOG Fresh neutrosophic logic TABLOG Cube OBJ connective Universal algebra Gunning Transceiver Logic quantifier propositional logic Oz Horn clause Subset-Equational Language fix Transistor-Transistor Logic channel service unit EQLog first-order Quest Algebraic Logic Functional language F+L LeFun Programmable Array Logic symbolic logic ML LO classical logic linear logic Wild_LIFE logic emulator intuitionistic logic P-Prolog LNF CHOCS LOGIN intuitionistic probability skolemisation traversal modal logic Distributed Logic Programming logic programming TrafoLa functional {log}Forsythe two-valued logic Constraint Handling In Prolog HCLP field-programmable gate array Arithmetic and Logic Unit Tempura intuitionist logic PRISM Terse LML ObjVProlog higher-order function FL ASL+Built-in Self Test Object Role Modeling Generic Array Logic Smarandache logic L&O ZX-81

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