Description

• Title:
  Sequent Calculi for Orthologic with Strict Implication
• Creator:
  Kawano, Tomoaki
• Contributor:
  Tokyo Institute of Technology, School of Computing, Department of Mathematical and Computing Science, 2-12-1 Okayama, Meguro-ku, Tokyo, Japan;
  kawano.t.af@m.titech.ac.jp
• Description:
  In this study, new sequent calculi for a minimal quantum logic (\(\bf MQL\)) are discussed that involve an implication. The sequent calculus \(\bf GO\) for \(\bf MQL\) was established by Nishimura, and it is complete with respect to ortho-models (O-models). As \(\bf GO\) does not contain implications, this study adopts the strict implication and constructs two new sequent calculi \(\mathbf{GOI}_1\) and \(\mathbf{GOI}_2\) as the expansions of \(\bf GO\). Both \(\mathbf{GOI}_1\) and \(\mathbf{GOI}_2\) are complete with respect to the O-models. In this study, the completeness and decidability theorems for these new systems are proven. Furthermore, some details pertaining to new rules and the strict implication are discussed.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2022.05.19;
  2021.11.09
• Type:
  Other
• Language:
  English;
  eng
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;1;
  51
• Subject:
  Quantum logic;
  sequent calculus;
  completeness theorem;
  implication;
  orthologic
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/41869 ;
  2449-836X;
  10.18778/0138-0680.2021.22
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other