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

(programming) Programming with a paradigm that bases on formal logic

A kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related, and aiming to capture aspects of implication that are ignored by the "material implication" operator in classical truth-functional logic.