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

(logic) A kind of logic based on the principles that each proposition has a truth value of either "true" or "false", but not both, and that if a proposition were to be both true and false or neither true nor false then a result would be that all propositions would be both true and false.

(philosophy) An adherent of the logical positivism school of philosophy

(philosophy) A 20th-century school of philosophy which held that all knowledge is based on logical inferences from empirical observations.

(electrical engineering) The use of the higher(positive) voltage level to represent the Boolean value 0 and the lower voltage(negative) level to represent the Boolean value 1.

(electrical engineering) The use of the higher voltage level to represent the Boolean value 1 and the lower voltage level to represent the Boolean value 0. For instance: ~5v is equal to logical 1₂, and ~0v is equal to 0₂.

(electrical engineering) A form of digital circuit logic where the current outputs are entirely a function of the current inputs, without having a memory of previous inputs or states.

plural of logic board

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