(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

(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