(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 word or phrase which has an invariant logical meaning and which is useful for forming argument forms.

plural of logical fallacy

(logic) One of a family of knowledge representation languages which can be used to represent the concept definitions of an application domain (known as terminological knowledge) in a structured and formally well-understood way.

(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism.

The quasi-logical system that underpins mythology, involving oppositions, metaphors, etc.

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