VDict - Definition of linear logic

search result for linear logic in Computing (FOLDOC) dictionary

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

LO Lolli linear logic linear type CLP(R)modal logic temporal logic neutrosophic logic logic linear function propositional logic linear programming predicate logic equational logic PLTL constant linear velocity eigenvector LTL Boolean algebra EQLog linear map Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun symmetric Programmable Array Logic TEMPLOG symbolic logic classical logic first-order logic BABEL logic emulator intuitionistic logic P-Prolog LOGIN dual intuitionistic probability linear transformation LIPL quantifier HOL AMBUSH Distributed Logic Programming inner product Horn clause {log}McCulloch-Pitts neuron two-valued logic Constraint Handling In Prolog linear space connective HCLP field-programmable gate array Arithmetic and Logic Unit Tempura intuitionist logic tensor product Gunning Transceiver Logic Universal algebra Terse PRISM LML ObjVProlog LOP Lambda Prolog Built-in Self Test F-Logic Generic Array Logic Smarandache logic L&O ZX-81 constant angular velocity Baroque linear address space proof theory logic variable orthogonal assertion Lambada-Calculus

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