Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-18T01:21:15.895Z Has data issue: false hasContentIssue false
  • English
  • Français

An axiomatisation of quantum logic

Published online by Cambridge University Press:  12 March 2014

Ian D. Clark
Ian D. Clark*
Affiliation:
Monash University, Clayton, Victoria 3168, Australia
Get access Rights & Permissions [Opens in a new window]

Extract

The purpose of this paper is to give an axiom system for quantum logic. Here quantum logic is considered to have the structure of an orthomodular lattice. Some authors assume that it has the structure of an orthomodular poset.

In finding this axiom system the implication algebra given in Finch [1] has been very useful. Finch shows there that this algebra can be produced from an orthomodular lattice and vice versa.

Definition. An orthocomplementation N on a poset (partially ordered set) whose partial ordering is denoted by ≤ and which has least and greatest elements 0 and 1 is a unary operation satisfying the following:

(1) the greatest lower bound of a and Na exists and is 0,

(2) a ≤ b implies Nb ≤ Na,

(3) NNa = a.

Definition. An orthomodular lattice is a lattice with meet ∧, join ∨, least and greatest elements 0 and 1 and an orthocomplementation N satisfying

where a ≤ b means a ∧ b = a, as usual.

Definition. A Finch implication algebra is a poset with a partial ordering ≤, least and greatest elements 0 and 1 which is orthocomplemented by N. In addition, it has a binary operation → satisfying the following:

An orthomodular lattice gives a Finch implication algebra by defining → by

A Finch implication algebra can be changed into an orthomodular lattice by defining the meet ∧ and join ∨ by

The orthocomplementation is unchanged in both cases.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 38 , Issue 3 , September 1973 , pp. 389 - 392
Copyright
Copyright © Association for Symbolic Logic 1973

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Finch, P. D., Quantum logic as an implication algebra, Bulletin of the Australian Mathematical Society, vol. 2 (1970), pp. 101–106.Google Scholar
[2]Foulis, D. J., A note on orthomodular lattices, Portugaliae Mathematica, vol. 21 (1962), pp. 65–72.Google Scholar
[3]Rose, G. F., Propositional calculus and realisability, Transactions of the American Mathematical Society, vol. 75 (1953), pp. 1–19.Google Scholar
[4]Rosser, J. B. and Turquette, A. R., Many-valued logics, North-Holland, Amsterdam, 1952.Google Scholar