К проблеме выразимости операций характеристических матриц паранепротиворечивых и параполных логик

Аннотация

В предлагаемой работе конструируются тождества, выражающие: 1) импликация каждой матрицы $М_{PCont}$, $М_{PCont(1)}$, $М_{PComp(1)}$ через операции матрицы $М_{LPF}$, 2) импликация каждой матрицы $М_{PCont}$, $М_{LPF}$ , $М_{PComp(1)}$ через операции матрицы $М_{PCont(1)}$, 3) импликация каждой матрицы $М_{PCont}$, $М_{LPF}$, $М_{PCont(1)}$ через операции матрицы $М_{PComp(1)}$. Кроме того доказывается, что импликации логических матриц $М_{LPF}$, $М_{PCont(1)}$ и $М_{PComp(1)}$ не являются выразимыми через операции матрицы $М_{PCont}$.