Единственная трехзначная 𝑙⊃¬-логика с одним выделенным значением, являющаяся паранормальной и регулярной 𝑙⊃¬-логикой с классической импликацией
Аннотация
Доказано, что 𝑇 𝑟(⟨𝑀(1/2, 0, 0, 1/2), ¬(1/2, 1, 0)⟩) есть единственная трехзначная 𝐿⊃¬-логика с одним выделенным значением, являющаяся паранормальной и регулярной 𝐿⊃¬-логикой с классической импликацией.
Полный текст:
PDFЛитература
Попов 2021a — Попов В. М. Замечание о трехзначных паранепротиворечивых логиках с одним выделенным значением // Двенадцатые Смирновские чтения: материалы
Международной научной конференции, Москва, 24–26 июня 2021 г. М.: Русское общество истории и философии науки, 2021. С. 43–49.
Попов 2021b — Попов В. М. Трехзначная паранормальная импликативно-негативная логика с одним выделенным значением // Восьмой Российский философский конгресс «Философия в полицентричном мире». Секции (I). Сборник научных статей. Российское философское общество; Институт философии РАН; МГУ им. М. В. Ломоносова. М.: Логос, 2021. С. 217–218.
DOI: https://doi.org/10.52119/LPHS.2022.59.70.003
Ссылки
- На текущий момент ссылки отсутствуют.
(c) 2023 Vladimir Popov, Ivan Slusarev

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