Algebra der Logik

die seit der Mitte des 19. Jahrhunderts entwickelte Form des Klassen- und Relationenkalküls, die es erlaubt, die Gesetze der traditionellen (Klassen- oder syllogistischen) Logik sowie logische Schlüsse in algebraischer Form zu behandeln. Sie basiert auf der von G. Boole in seinem Werk »The mathematical analysis of logic« (1847) entworfenen booleschen Algebra und