Description

• Tytuł:
  Sequent Calculi for Orthologic with Strict Implication
• Twórca:
  Kawano, Tomoaki
• Współtwórca:
  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
• Opis:
  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.
• Dostępność obiektu:
  free access
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2022.05.19;
  2021.11.09
• Typ:
  Other
• Język:
  English
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;1;
  51
• Temat i słowa kluczowe:
  Quantum logic;
  sequent calculus;
  completeness theorem;
  implication;
  orthologic
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/41869 ;
  2449-836X;
  10.18778/0138-0680.2021.22
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  check license
• Rodzaj zawartości:
  other