Sequent Calculi for Orthologic with Strict Implication
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 implication...
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
Lodz University Press
2022-03-01
|
| Serija: | Bulletin of the Section of Logic |
| Teme: | |
| Online dostop: | https://www.czasopisma.uni.lodz.pl/bulletin/article/view/8670 |
| Oznake: |
Brez oznak, prvi označite!
|