A Substructural Gentzen Calculus for Orthomodular Quantum Logic

Review of Symbolic Logic 16 (4):1177-1198 (2023)
  Copy   BIBTEX


We introduce a sequent system which is Gentzen algebraisable with orthomodular lattices as equivalent algebraic semantics, and therefore can be viewed as a calculus for orthomodular quantum logic. Its sequents are pairs of non-associative structures, formed via a structural connective whose algebraic interpretation is the Sasaki product on the left-hand side and its De Morgan dual on the right-hand side. It is a substructural calculus, because some of the standard structural sequent rules are restricted—by lifting all such restrictions, one recovers a calculus for classical logic.



    Upload a copy of this work     Papers currently archived: 94,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Natural Deduction for Quantum Logic.K. Tokuo - 2022 - Logica Universalis 16 (3):469-497.
A cut-free Gentzen formulation of basic propositional calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.
Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
Investigations into a left-structural right-substructural sequent calculus.Lloyd Humberstone - 2007 - Journal of Logic, Language and Information 16 (2):141-171.
The logic of orthomodular posets of finite height.Ivan Chajda & Helmut Länger - 2022 - Logic Journal of the IGPL 30 (1):143-154.
Implicational quantum logic.Kenji Tokuo - 2022 - Axiomathes 32 (2):473-483.


Added to PP

26 (#611,820)

6 months
9 (#456,451)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

Semantic analysis of orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.
Equivalence of Consequence Operations.W. J. Blok & Bjarni Jónsson - 2006 - Studia Logica 83 (1-3):91-110.
Protoalgebraic Logics.Janusz Czelakowski - 2003 - Studia Logica 74 (1):313-342.
Correspondences between Gentzen and Hilbert Systems.J. G. Raftery - 2006 - Journal of Symbolic Logic 71 (3):903 - 957.

View all 15 references / Add more references