#lindenbaum-tarski #mathematical logic #quotient structure #logical equivalence #abstract algebra #algebraic logic