Uncertainty Relations in Deformation Quantization
  Robertson and Hadamard-Robertson theorems on non-negative definite hermitian forms are generalized to an arbitrary ordered field. These results are then applied to the case of formal power series fields, and the Heisenberg-Robertson, Robertson-Schr\"odinger and trace uncertainty relations in deformation quantization are found. Some conditions under which the uncertainty relations are minimized are also given. 
M. Przanowski and F.J. Turrubiates