VDict - Definition of propositional logic

search result for propositional logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

Boolean algebra paraconsistent probability neutrosophic probability model checking tautological probability Charme LIFE channel service unit Isabelle Transistor-Transistor Logic combinatory logic George Boole TABLOG CLP(R)APPLOG fuzzy logic HiLog three-tier Xilinx, Inc.Xilinx Netlist Format EPILOG tautological set asynchronous logic Wild_LIFE ELP A'UM Constraint Logic Programming Parlog++PAL logic gate logic programming instantiation Neutrosophy neutrosophic set scan design abduction unification horizontal encoding central processing unit constructive Interest Group in Pure and Applied Logics vertical encoding Triton Trilogy Laboratory INstrument Computer scan register handwave Subset-Equational Language occurs check O-Logic accumulator EQLOG OBJ0 MALI Simulating Digital Systems CPLD complexity analysis resolution ET mill ALF LOTIS Sure ALU MegaHertz Programmable Logic Controller Probe Very Large Scale Integration LDL HCPRVR Logic for Computable Functions skolemisation Prolog axiom PLD LCF PLC LTL GTL intuitionism

First < Previous 1 2 3 4 5 Next > Last