Quantenlogik, ein Versuch, die Unterschiede zwischen Quantentheorie und klassischer Physik als eine Veränderung der formalen Logik zu deuten. Aussagen über Quantensysteme werden danach durch Verknüpfungen »und«, »oder« sowie »nicht« in ähnlicher Weise verbunden wie in der klassischen Prädikatenlogik. Der formale Unterschied zur klassischen Logik liegt darin, dass das Distributivgesetz