VDict - Definition of formal logic

search result for formal logic in Computing (FOLDOC) dictionary

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

lemma goal AdLog M-Prolog PDL formal review lobotomy LDT Cirrus Logic me too Program Design Language Fresh fuzzy computing predicate calculus propositional calculus Wesley Clark functional unit SASL+LV algebraic structure acceptance testing PowerFuL fixed point combinator ECL application server Quty John McCarthy CIRcuit CALculus knowledge base Rapidly Extensible Language, English SRL Prometheus negation by failure Mandala truth table Kernel Parlog KAP SIPLAN safety-critical system REFINE Turbo Prolog OR TTL Sequel Delta-Prolog Boolean Logic Design Language EULER Uranus POLYGOTH inference Haskell Curry implies southbridge paradox MRS complete inference system neutrosophic statistics LYaPAS logical complement Extended Concurrent Prolog D-type flip-flop HASL query B-Method Cube PPLambda fuzzy subset Internet-Draft cognitive architecture Western Digital Corporation Intel 80186 Modular Prolog Calculus of Communicating Systems REGTRAL most general unifier converse Conjunctive Normal Form LAURE Andorra-I Nuprl

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