К проблеме расширения матричной семантики, адекватной классической импликативной логике, до матричной семантики, адекватной классической импликативно-негативной логике (Часть 4)статья
Аннотация:Эта статья находится в русле исследований проблемы расширения семантики, адекватной собственному фрагменту логики, до семантики, адекватной этой логике. Основное содержание статьи представлено в двух разделах (первый раздел и второй раздел). В первом разделе установлено следующее: ⟨M (1/2, 0, 1, 1), ¬(1/2, 1, 1)⟩ и ⟨M (1/2, 0, 1, 1), ¬(0, 1, 1)⟩ - все L⊃¬ -матрицы вида ⟨M (1/2, 0, 1, 1), f⟩, адекватные классической импликативно-негативной логике Cl⊃¬ , а ⟨M (0, 1/2, 1, 1), ¬(1/2, 1, 1)⟩ и ⟨M (0, 1/2, 1, 1), ¬(0, 1, 1)⟩ - все L⊃¬-матрицы вида ⟨M (0, 1/2, 1, 1), f⟩, адекватные классической импликативно-негативной логике Cl⊃¬. Во втором разделе перечислены все L⊃¬ -матрицы вида ⟨{1, 1/2, 0}, {1}, g, f⟩, адекватные классической импликативно-негативной логике Cl⊃¬ .