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

Abstract

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