The theory of abstract algebraic logic has also provided means to classify logics, with most results having been obtained for propositional logics.
Теория абстрактной алгебраической логики также содержит средства для классификации логик, при этом большинство результатов было получено для пропозициональных логик.