abduction; algebra; AND; axiom; Boolean; Boolean algebra; Charme; classical logic; complement; complete inference system; complete theory; Conjunctive Normal Form; converse; definite clause; DeMorgan's theorem; equational logic; first-order logic; Gottlob Frege; Horn clause; iff; implies; induction; inference; intuitionistic logic; intuitionistic probability; Lambada-Calculus; lemma; logical complement; most general unifier; natural deduction; neutrosophic logic; neutrosophic probability; neutrosophic set; NOT; OR; paraconsistent probability; paradox; predicate logic; proof; proof theory; propositional logic; quantifier; resolution; sentence; sound; symbolic logic; tautological probability; tautological set; tautology; temporal logic; truth table; two-valued logic; Universal algebra;