Propositional Systems in Local Field Theories

摘要

The authors investigate propositional systems for local field theories, which reflect intrinsically the uncertainties of measurements made on the physical system, and satisfy the isotony and local commutativity postulates of Haag and Kastler. The spacetime covariance can be implemented in natural way in these propositional systems. New techniques are introduced to obtain these propositional systems: the lattice-valued logics. The decomposition of the complete orthomodular lattice-valued logics shows that these logics are more general than the usual two-valued ones and that in these logics there is enough structure to characterize the classical and quantum, non relativistic and relativistic local field theories in a natural way. The Hilbert modules give the natural inner product ''spaces'' (modules) for the realization of the lattice-valued logics. (Atomindex citation 11:560313)