Quantum logic

The topic of quantum logic deals with the generalization of the principles of logic to the formal structures of the Hilbert space in quantum mechanics.

The mathematical propositions of the logic correspond to the " yes / no " statements of elementary observable ( measurable ) physical quantities, the so-called projectors.

In the dialogical logic of a frame rule for a temporal logic is introduced so that an early dialog match statement made will no longer be available later in the dialog.