(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

(electronics) Is a kind of programmable logic device used to implement combinational logic circuits.

plural of programmable logic array

(electronics) A logic family that achieves high speed by using an overdriven BJT differential amplifier with single-ended input.

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

plural of logical mechanical element