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

V. M. Popov

Аннотация


Эта статья дополняет работу В. М. Попова «Трехзначные логические матрицы с одним выделенным значением, адекватные классической импликативной логике», которая опубликована в настоящем номере журнала. Представленный в предлагаемой статье результат исследования: указаны две логические матрицы 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) изоморфны.

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

PDF

Литература


Попов 2019 — Попов В. М. Трехзначные логические матрицы с одним выделенным значением, адекватные классической импликативной логике // Логико-философские штудии. 2019. Т. 17, № 2. C. 142–193.


Ссылки

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




(c) 2020 V. M. Popov

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