Теории пропозициональных логик и обращение подстановки

В работе рассмотрен вопрос о существовании и числе субституциональных логик. Доказано, что любая табличная логика, имеющая функционально полную систему связок, является субституциональной. Для этих логик доказано существование алгоритма, который по вычислимой непротиворечивой аксиоматике теории строит для нее точную унифицирующую подстановку. Построено счетное число субституциональных табличных логик. Предъявлены некоторые субституциональные табличные логики, имеющие содержательную интерпретацию. Кроме того, доказано, что всякая субституцианальная логика имеет характеристическую матрицу. Доказано, что множество несубституциональных логик континуально.