Proof theory for minimal quantum logic II

  title={Proof theory for minimal quantum logic II},
  author={H. Nishimura},
  journal={International Journal of Theoretical Physics},
  • H. Nishimura
  • Published 1994
  • International Journal of Theoretical Physics
This paper provides proofs for the three main theorems of our previous paper which were enunciated without proofs there. 
Gentzen-Like Methods in Quantum Logic ?
Quantum logic generally refers to the logical structure characterized by the class of orthomodular lattices. It originated from certain postulates advocated in the Hilbert-space formalism of modernExpand
From Basic Logic to Quantum Logics with Cut-Elimination
The results presented in this paper wereobtained in the framework of basic logic, a new logicaiming at the unification of several logical systems.The first result is a sequent formulation forExpand
The Influence of Quantum Physics on Philosophy
We ponder the question whether quantum physics has had any influence on philosophy, and if not, whether it ought to have had any. Answers to these questions are provided, and they turn out to dependExpand
Logic and Quantum Physics
It is the aim to provide the reader with some food for thought and to give some pointers to the literature that provide an easy access to this field of research, dealing in particular with the implication problem. Expand
A solution of the uniform word problem for ortholattices
  • A. Meinander
  • Computer Science, Mathematics
  • Mathematical Structures in Computer Science
  • 2010
By considering formal derivations of atomic formulas from a finite number of given atomic formulas, it is shown that proof search is bounded, and thus that the question of derivability of any atomic formula from any finite set ofgiven atomic formulas is decidable. Expand