(logic) Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.

(logic) A truth-valued function such as (the usual suspects): conjunction, disjunction, negation, and material implication.

The quality of being logical.

(logic) A word or phrase which has an invariant logical meaning and which is useful for forming argument forms.

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

plural of logicker

(archaic, derogatory) A logician.

(logic) propositional logic