Көп маанилүү логика: нускалардын айырмасы

Алгачкы мындай система – сүйлөмдөрдүн үч маанилүү логикасы жана сүйлөмдүн маанилүү логикасы Лукасович (1920 ж.) жана Э. Пост тарабынан түзүлгөн. Азыркы учурда бир катар көп маанилүү логикалык система түзүлгөн менен алардын философиялык жана структуралык жактары изилденүүдө.

 

Мисалы: [[Лукасевич|Лукасевичтин]] үч, төрт маанилүү логикалык сүйлөмдөрү – модалдык логика түзүү максатында, Д. А. Бочардын үч маанилүү эсептөөсү – классикалык, математикалык логиканын парадокстарын чечүү максатында түзүлгөн. Көп маанилүү логика тиркемеси квант механикасын (Г. Биркгофтун, Ж. Неймандын, Рейхенбахтын эмгектери), жана релейлүү схеманын теориясын (А. И. Шестаковдун, Г. Моисилдин ж. б. иштери) негиздөөгө багытталган.