Lindenbaum method (propositional language)

TL;DR

The paper discusses the Lindenbaum method, a logical technique based on formalized languages that bridges algebra and logic, enabling applications of algebraic structures to propositional logic.

Contribution

It introduces and explores the Lindenbaum method's role in connecting algebraic structures with propositional logic, expanding the scope of algebraic logic.

Findings

Establishes the foundational role of the Lindenbaum method in algebraic logic.

Highlights the symbolic nature of formalized languages in deductive systems.

Shows the potential for algebraic applications in logic through this method.

Abstract

Lindenbaum method is named after the Polish logician Adolf Lindenbaum who prematurely and without a clear trace disappeared in the turmoil of the Second World War at the age of about 37. The method is based on the symbolic nature of formalized languages of deductive systems and opens a gate for applications of algebra to logic and, thereby, to Abstract algebraic logic.