| The theory of abstract algebraic logic has also provided means to classify logics, with most results having been obtained for propositional logics. | Теория абстрактной алгебраической логики также содержит средства для классификации логик, при этом большинство результатов было получено для пропозициональных логик. |
| Formulas are built from tokens: variables, function symbols and predicate symbols, with the help of the propositional connectives, quantifiers and parentheses. | Формулы строятся из лексем: переменных, функциональных и предикатных символов, при помощи пропозициональных связок, кванторов и скобок. |
| Moreover, sentence meanings may be dependent upon propositional attitudes: those features that are relative to someone's beliefs, desires, and mental states. | Кроме того, значение предложения может зависеть от пропозициональных установок, формирующихся в соответствии с чьими-либо мнениями, желаниями, и психическими состояниями. |