fuzzy logic - (Encyclopedia.com)

Logic - (Encarta® Concise Encyclopedia Article)

Fuzzy Logic - (Encarta® Concise Encyclopedia Article)

Induction (logic) - (Encarta® Concise Encyclopedia Article)

induction, logic - (Encyclopedia.com)

Boolean algebra - (Encyclopedia.com)

set - (Encyclopedia.com)

Artificial Intelligence - (Encarta® Concise Encyclopedia Article)

Expert System - (Encarta® Concise Encyclopedia Article)

expert system - (Encyclopedia.com)

syllogism - (Encyclopedia.com)

deduction - (Encyclopedia.com)

PROLOG - (Encarta® Concise Encyclopedia Article)

Fallacy - (Encarta® Concise Encyclopedia Article)

Deduction - (Encarta® Concise Encyclopedia Article)

Paradox - (Encarta® Concise Encyclopedia Article)

Gödel's Theorem - (Encarta® Concise Encyclopedia Article)

Boolean Algebra - (Encarta® Concise Encyclopedia Article)

Proof, Mathematical - (Encarta® Concise Encyclopedia Article)

Analogy - (Encarta® Concise Encyclopedia Article)

semantics - (Encyclopedia.com)

Goedel's Theorems - An article in the Platonic Realms, covering the completeness theorem, the incompleteness theorems, and his set-theoretic independence result.

Hempel's Ravens Paradox - Article in the Platonic Realms, about Hempel's paradox of inductive confirmation.

Carroll's Paradox - (Platonic Realms).

Deduction - (Catholic Encyclopedia)

Logic - (Catholic Encyclopedia)