Topic
lattice that models the classical propositional logic
Not who you're looking for? Others named Boolean algebra: branch of algebra abstracting logical operations