Foundations of Physics

, Volume 19, Issue 7, pp 931–945

Toward a formal language for unsharp properties

  • Roberto Giuntini
  • Heinz Greuling
Part I. Invited Papers Dedicated To Peter Mittelstaedt

DOI: 10.1007/BF01889307

Cite this article as:
Giuntini, R. & Greuling, H. Found Phys (1989) 19: 931. doi:10.1007/BF01889307


Some algebraic structures of the set of all effects are investigated and summarized in the notion of a(weak) orthoalgebra. It is shown that these structures can be embedded in a natural way in lattices, via the so-calledMacNeille completion. These structures serve as a model ofparaconsistent quantum logic, orthologic, andorthomodular quantum logic.

Copyright information

© Plenum Publishing Corporation 1989

Authors and Affiliations

  • Roberto Giuntini
    • 1
  • Heinz Greuling
    • 1
  1. 1.Institut für theoretische PhysikUniversität zu KölnKöln 41Federal Republic of Germany
  2. 2.Dipartimento di FilosofiaUniversità di FirenzeFirenzeItaly