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

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

(logic) propositional logic

(computing) A more general name for business logic. (The logic could run in an organisation that is not a business.)

(computing) The logic that is concerned with how domain/business objects are displayed to users of the software.

(logic, quantum mechanics) A form of non-classical logic which has been abstracted out of quantum mechanics.

Alternative spelling of nonlogical

(logic) A type of modal logic which deals with statements involving beliefs.

(logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold.