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

plural of uncommitted logic array

(electronics) A gate array.

plural of arithmetic logic unit

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

(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.

Any part of a mechanism that exercises some form of logical control, such as a ratchet, trip, detent or interlock.

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