Единственная трехзначная 𝑙⊃¬-логика с одним выделенным значением, являющаяся паранормальной и регулярной 𝑙⊃¬-логикой с классической импликацией

Vladimir Popov, Ivan Slusarev

Аннотация


Доказано, что 𝑇 𝑟(⟨𝑀(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

Ссылки

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


Bookmark and Share


(c) 2023 Vladimir Popov, Ivan Slusarev

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