Related entries include:
abduction; algebra; AND; axiom; Axiom of Choice; Axiom of Comprehension; axiom schema; Boolean; Boolean algebra; Boolean logic; Charme; classical logic; combinatory logic; complement; complete inference system; complete theory; Conjunctive Normal Form; connective; converse; definite clause; definite sentence; DeMorgan's theorem; equational logic; exclusive or; first-order logic; Giuseppe Peano; Gottlob Frege; Horn clause; iff; implies; induction; inference; inference rule; intuitionistic logic; intuitionistic probability; Lambada-Calculus; lemma; logical complement; modal logic; most general unifier; NAND; natural deduction; neutrosophic logic; neutrosophic probability; neutrosophic set; non-constructive proof; NOT; OR; paraconsistent probability; paradox; predicate logic; proof theory; proposition; propositional logic; quantifier; sentence; Set Equation Transformation System; SLD resolution; symbolic logic; tautological probability; tautological set; tautology; temporal logic; truth table; two-valued logic; Universal algebra;
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL