Proof theory for minimal quantum logic I

  title={Proof theory for minimal quantum logic I},
  author={H. Nishimura},
  journal={International Journal of Theoretical Physics},
  • H. Nishimura
  • Published 1994
  • Mathematics
  • International Journal of Theoretical Physics
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. 
Proof theory for minimal quantum logic: A remark
It is remarked that the inference rule (‘ → ’) is superfluous for the sequential system GMQL introduced by H. Nishimura for the minimal quantum logic.
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
Proof Theory of Paraconsistent Quantum Logic
  • N. Kamide
  • Mathematics, Computer Science
  • J. Philos. Log.
  • 2018
Paraconsistent quantum logic, a hybrid of minimal quantum logic and paraconsistent four-valued logic, is introduced as Gentzen-type sequent calculi, and the cut-elimination theorems for these calculiExpand
A Rule-Based Logic for Quantum Information
A new approach for the study of orthomodular lattices is explored, where the problematic conjunction is replaced by a binary operator, called the Sasaki projection, called Sasaki Orthologic, which is closely related to quantum logic. Expand
Advanced Kripke Frame for Quantum Logic
This paper develops OM-models in an attempt to solve the problems of important notions of orthomodular lattices such as OM laws, atomicity and covering laws, which cannot yet be fully described. Expand
Gentzen Methods in Quantum Logic
This chapter was originally published in the book Handbook of Quantum Logic and Quantum Structures: Quantum Logic. The copy attached is provided by Elsevier for the author s benefit and for theExpand
Free lattices proof-theoretically
A sequent system is used to give alternative proofs of two well known properties of free lattices: Whitman’s condition and semidistributivity. It demonstrates usefulness of such proof systems outsideExpand
Focusing in Orthologic
  • O. Laurent
  • Mathematics, Computer Science
  • Log. Methods Comput. Sci.
  • 2017
New sequent calculus systems for orthologic which satisfy the cut elimination property and incorporate the notion of focusing to add constraints on proofs and to optimise proof search are proposed. Expand
Focusing in Orthologic
New sequent calculus systems for orthologic which satisfy the cut elimination property and incorporate the notion of focusing to add constraints on proofs and thus to facilitate proof search are proposed. Expand
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 Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains
The main purpose of this paper is to give a cut-free Gentzen-type sequential system for K4.3G of finite chains. The cut-elimination theorem is proved both modeltheoretically and proof-theoretically.
Sequential Method in Quantum Logic
The main purpose of this paper is to alter this situation by presenting an axiomatization of quantum logic as natural and as elegant as possible, which further proof-theoretical study is to be based on. Expand
Semantics of the minimal logic of quantum mechanics
The question what is the logic of the atomic world, belongs to the empirical science. It can be solved only by ways of hypotheses framing and testing. Birkhoff and von Neumann [1] put forward aExpand
Imbedding of the Quantum Logic in the Modal System of Brower
  • H. Dishkant
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1977
The semantics of modal categories is broadened, admitting propositions about the possibility of results of experiments, and the usual variant of the logic of quantum mechanics is leaned upon. Expand
Orthomodularity is not Elementary
It is shown that the property of orthomodularity of the lattice of orthoclosed subspaces of a pre-Hilbert space ?? is not determined by any first-order properties of the relation I of orthogonality between vectors in b, and (CA, I) is an elementary substructure of ( I, I). Expand
Untersuchungen über das logische Schließen. I
The present invention relates to a process for sizing cellulose fibers or cellulose fiber containing materials and to a composition for carrying out the process. More particularly the inventionExpand
A gentzen formulation without the cut rule for ortholattices
Proof Theory
The Stone Space of an Ortholattice
Semantic analysis of orthologic