Ян Лукасевич первым сформулировал троичную логику в 1920 году, введя значение «неизвестно» вдобавок к классическим «истина» и «ложь». Позже он развил бесконечно-значную логику, где значение высказывания может принимать любое число из отрезка [0; 1] — основу будущих нечетких систем и Łukasiewicz-алгебр. Вывод GL4 и логика Лукасевича оба расширяют границы классической логики, но делают это разными путями: первая — за счёт ввода модальной неизбежности, вторая — через бесконечную градацию достоверности. Их объединяют строгость...