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

plural of logic board

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

plural of paraconsistent logic

plural of Boolean logic

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