This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection between propositional logic and Boolean algebras.

Contents:

• Algebra of propositional logic
• Boolean congruences
• Theories
• Formal deductions
• Interpretations
• Propositional calculus