Аннотация:
На докладе мы начнем с обзора предложенных фон Нейманом аксиом ортодоксальной квантовой теории (orthodox QT) и обсуждения основополагающей идеи Биркгофа и фон Неймана о том, что утверждения о квантовых системах можно рассматривать как формирующие своего рода логику, которая моделируется замкнутыми подпространствами некоторого гильбертова пространства. Далее мы рассмотрим две логики: наименьшую ортологику (OL) и ортомодулярную квантовую логику (OQL). Для каждой из них мы разовьём алгебраическую и Крипке семантики, предъявим аксиоматизацию и получим сильную полноту в рамках семантики Крипке. Оставшееся время мы посвятим обсуждению проблемы импликации в квантовой логике.
