(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

plural of first-order logic

plural of many-sorted logic

plural of monadic predicate logic

plural of second-order logic

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