Квантова логіка в сучасній практиці математичного аналізу
Квантова логіка (QL) була розроблена як спроба побудувати пропозициональную структуру, яка дозволила б описати цікаві події в квантовій механіці (QM). QL замінила булеву структуру, яка була недостатньою для подання атомного царства, хоч і підходить для дискурсу класичної фізики.
Математична структура пропозиционального мови про класичних системах являє собою набір потужностей, частково упорядкований по безлічі включення, з парою операцій, представляють об’єднання і диз’юнкцію.
Ця алгебра узгоджується з дискурсом як класичних, так і релятивістських явищ, але несумісна в теорії, яка забороняє, наприклад, давати одночасні значення істинності. Пропозиція батьків-засновників QL створене, щоб замінити булеву структуру класичної логіки більш слабкою структурою, яка б послаблювала дистрибутивні властивості кон’юнкції і диз’юнкції.
