Аксиоматика гамильтоновых теорий общего вида, включающих классическую и квантовую как частные случаи

Аксиомы гамильтоновой теории сформулированы в таком виде, что они пригодны и для классической, и для квантовой теории. Этими аксиомами определяется алгебра с двумя операциями умножений, названная свободной гамильтоновой алгеброй. Классическая и квантовая механики получаются как фактор-алгебры по различным отношениям эквивалентности. Аксиоматикой допускаются существенно новые гамильтоновы теории с неассоциативным умножением наблюдаемых.