Propositional Calculus: Calculus. Interpretation (logic), Logical graph, Truth value, connective, Formal system, Binary relation, Hilbert Sequent calculus

Logical Equality: equality, connective, Equality (mathematics), Boolean algebra (logic), biconditional, Propositional calculus,...

Attributional Calculus: Predicate Logic, Propositional Calculus, Multi Valued Logic

R Calculus, IV: Propositional Logic

Sequent Calculus: Formal System, Mathematical Logic, Proof Theory, Gerhard Gentzen, Natural Deduction