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

(mathematics) A form of reasoning, derived from fuzzy set theory, whereby a truth value need not be exactly zero (false) or one (true), but rather can be zero, one, or any value in between.

A system of quotation in which terminal punctuation marks are enclosed within a quotation only if the sense of the punctuation is part of the original material being quoted.

(computer science) Model of computation based on combinators.

(logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.

(philosophy) The doctrine that the world consists of ultimate logical "facts" (or "atoms") that cannot be broken down any further.

(logic) A formal deductive system able to represent the distinction between intension and extension of a term.

A device used to test and diagnose digital electronic systems.

Alternative form of logical fallacy

(computing) The number, obtained by complementing every bit of a given number, which produces all ones when exclusive ored with the given number.