НЕМНОГО О ТРЕХЗНАЧНЫХ ЛОГИЧЕСКИХ МАТРИЦАХ С ОДНИМ ВЫДЕЛЕННЫМ ЗНАЧЕНИЕМ

Аннотация

Эта статья дополняет работу В. М. Попова «Трехзначные логические матрицы с одним выделенным значением, адекватные классической импликативной логике», которая опубликована в настоящем номере журнала. Представленный в предлагаемой статье результат исследования: указаны две логические матрицы M(1/2, 0, 1, 1/2)и M(1/2, 0, 0, 1), такие, что множество всех логических матриц вида ⟨{1, 1/2, 0}, {1}, g⟩ (где g есть бинарная операция на {1, 1/2, 0}), каждая из которых такова, что множество всех L⊃-формул, общезначимых в этой L⊃-матрице, включает интуиционистскую импликативную логику и включается в классическую импликативную логику, но отлично от последней, есть множество {M(1/2, 0, 1, 1/2),M(1/2, 0, 0, 1)}; при этом логические матрицы M(1/2, 0, 1, 1/2) и M(1/2, 0, 0, 1) изоморфны.