# Proof theory for minimal quantum logic II

@article{Nishimura1994ProofTF, title={Proof theory for minimal quantum logic II}, author={H. Nishimura}, journal={International Journal of Theoretical Physics}, year={1994}, volume={33}, pages={1427-1443} }

This paper provides proofs for the three main theorems of our previous paper which were enunciated without proofs there.

#### 5 Citations

Gentzen-Like Methods in Quantum Logic ?

- 1999

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 modern… Expand

From Basic Logic to Quantum Logics with Cut-Elimination

- Mathematics
- 1998

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 for… Expand

The Influence of Quantum Physics on Philosophy

- Mathematics
- 2021

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 depend… Expand

Logic and Quantum Physics

- Computer Science
- 2010

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

- 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