Lindenbaum, Adolf

logico e matematico polacco (Varsavia 1904-morto in un campo di sterminio nazista dopo il 1941). Collaboratore di A. Tarski, sviluppò un particolare tipo di algebra di Boole, detta algebra di Lindenbaum, associabile a un sistema formale proposizionale in modo da rendere possibile lo studio in termini algebrici di problemi di completezza e di non contraddittorietà. A ogni sistema di logica proposizionale si può associare una determinata algebra di Lindenbaum che ne costituisce un'interpretazione. Questo processo dà origine a quella che oggi viene chiamata logica algebrica.