Что такое многозначные логики Лукасевича? Душкин объяснит
Подробный сравнительный анализ «Gayane Quaternary Logic» (GL4) и логики Яна Лукасевича
Ян Лукасевич первым сформулировал троичную логику в 1920 году, введя значение «неизвестно» вдобавок к классическим «истина» и «ложь». Позже он развил бесконечно-значную логику, где значение высказывания может принимать любое число из отрезка [0; 1] — основу будущих нечетких систем и Łukasiewicz-алгебр. Вывод
GL4 и логика Лукасевича оба расширяют границы классической логики, но делают это разными путями: первая — за счёт ввода модальной неизбежности, вторая — через бесконечную градацию достоверности. Их объединяют строгость...
«Модальные теории Яна Лукасевича» А. А. Ивин В книге исследуются модальные идеи и теории выдающегося логика XX века Я. Лукасевича. В первых двух главах анализируются две построенные им модальные логики (трехзначная и четырехзначная). В третьей главе предпринимается попытка развить и формализовать его интуитивные представления о детерминизме, истине и причинности. Книга, являющаяся первым в логической литературе исследованием данного аспекта творчества Лукасевича, содержит новые идеи и логические результаты, касающиеся широко понимаемой модальной логики, прогностических высказываний, онтологических модальностей, причинности, временной детерминации, каузального определения истины и др. Это и многое другое вы найдете в книге Модальные теории Яна Лукасевича (А. А. Ивин). Напишите свою рецензию о книге А. А. Ивин «Модальные теории Яна Лукасевича» https://izbe.ru/book/439451-modalnye-teorii-yana-lukasevicha-a-a-ivin/