International Journal of Theoretical Physics

, Volume 33, Issue 1, pp 103–113

Proof theory for minimal quantum logic I

  • Hirokazu Nishimura
Article

DOI: 10.1007/BF00671616

Cite this article as:
Nishimura, H. Int J Theor Phys (1994) 33: 103. doi:10.1007/BF00671616

Abstract

In this paper we give a sequential system of minimal quantum logic which enjoys cut-freeness naturally. The duality theorem, the cut-elimination theorem, and the completeness theorem with respect to the relational semantics of R. I. Goldblatt are presented. Due to severe limitations of space, technically heavy proofs of the first two theorems are relegated to a subsequent paper.

Copyright information

© Plenum Publishing Corporation 1994

Authors and Affiliations

  • Hirokazu Nishimura
    • 1
  1. 1.Institute of MathematicsUniversity of TsukubaIbarakiJapan