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

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

plural of second-order logic

(logic) A kind of non-classical propositional calculus whose semantics makes use of more than two truth values.

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

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

plural of arithmetic logic unit