К ПРОБЛЕМЕ РАСШИРЕНИЯ МАТРИЧНОЙ СЕМАНТИКИ, АДЕКВАТНОЙ КЛАССИЧЕСКОЙ ИМПЛИКАТИВНОЙ ЛОГИКЕ, ДО МАТРИЧНОЙ СЕМАНТИКИ, АДЕКВАТНОЙ КЛАССИЧЕСКОЙ ИМПЛИКАТИВНО-НЕГАТИВНОЙ ЛОГИКЕ (ЧАСТЬ 3)

В. Попов

Аннотация


Здесь продолжается проводимое в (Попов 2019а) и в (Попов 2020) исследование проблемы расширения семантики, адекватной собственному фрагменту логики, до семантики, адекватной этой логике. Мы опираемся на результаты, полученные в работах (Попов 2019а,b, 2020), и используем (без специальных комментариев) определения, соглашения и замечания из этих работ. Основное содержание статьи размещено в двух разделах (первый раздел и второй раздел). В первом разделе установлено следующее: ⟨𝑀(1, 0, 0, 1), ¬(0, 0, 1)⟩ есть единственная 𝐿⊃¬-матрица вида ⟨𝑀(1, 0, 0, 1), 𝑓⟩, адекватная классической импликативно-негативной логике 𝐶𝑙⊃¬, а ⟨𝑀(0, 0, 1, 1), ¬(1/2, 1, 1)⟩ и ⟨𝑀(0, 0, 1, 1), ¬(0, 1, 1)⟩ — все 𝐿⊃¬-матрицы вида ⟨𝑀(0, 0, 1, 1), 𝑓⟩, адекватные классической импликативно-негативной логике 𝐶𝑙⊃¬. Во втором разделе установлено следующее: ⟨𝑀(1/2, 1, 1, 1/2), ¬(1/2, 1, 1/2)⟩ есть единственная 𝐿⊃¬-матрица вида ⟨𝑀(1/2, 1, 1, 1/2), 𝑓⟩, адекватная классической импликативно-негативной логике 𝐶𝑙⊃¬, а ⟨𝑀(1/2, 1/2, 1, 1), ¬(0, 1, 1)⟩ и ⟨𝑀(1/2, 1/2, 1, 1), ¬(1/2, 1, 1)⟩ — все 𝐿⊃¬-матрицы вида ⟨𝑀(1/2, 1/2, 1, 1), 𝑓⟩, адекватные классической импликативно-негативной логике 𝐶𝑙⊃¬.

Полный текст:

PDF

Ссылки

  • На текущий момент ссылки отсутствуют.




(c) 2020 В. Попов

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.