A programmable electronic device used in industrial automation to provide logic and sequencing controls for machinery.

plural of programmable logic controller

(computer hardware) the section of a CPU that performs calculations and logical operations

(logic) The fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters.

(logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

(computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".

(logic) A logic that directly supports classification of entities into disjunct sorts.

plural of arithmetic logic unit

(electronics) A gate array.

plural of uncommitted logic array